Hector J. Levesque (levesque-hj)

Contributions to Philosophie.ch

Bibliography

Bacchus, Fahiem, Halpern, Joseph Y. and Levesque, Hector J. 1995. “Reasoning about Noisy Sensors in the Situation Calculus.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1933–1940. San Francisco, California: Morgan Kaufmann Publishers.
Bacchus, Fahiem, Halpern, Joseph Y. and Levesque, Hector J. 1999. “Reasoning about Noisy Sensors and Effectors in the Situation Calculus.” Artificial Intelligence 111(1–2): 171–208.
Brachman, Ronald J., Fikes, Richard E. and Levesque, Hector J. 1983a. “krypton: A Functional Approach to KR.” IEEE Computer 16: 67–73.
Brachman, Ronald J., Fikes, Richard E. and Levesque, Hector J. 1983b. “krypton: Integrating Terminology and Assertion.” in AAAI-83. Proceedings of the Third National Conference on Artificial Intelligence, edited by Michael R. Genesereth, pp. 31–35. Menlo Park, California: The AAAI Press.
Brachman, Ronald J. and Levesque, Hector J. 1991. “Look What They’ve Done to My Dogma! On Limitations in Knowledge Representation.” Artificial Intelligence 50(1).
Brachman, Ronald J. and Levesque, Hector J., eds. 1995. Readings in Knowledge Representation. San Francisco, California: Morgan Kaufmann Publishers.
Brachman, Ronald J. and Levesque, Hector J. 2004. Knowledge Representation and Reasoning. Amsterdam: Elsevier Science Publishers B.V.
Brachman, Ronald J., Levesque, Hector J. and Reiter, Raymond, eds. 1989. KR’89: Principles of Knowledge Representation and Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
Brachman, Ronald J., Levesque, Hector J. and Reiter, Raymond. 1991. “Introduction to the Special Volume on Knowledge Representation.” Artificial Intelligence 49(3): 1–3.
Brachman, Ronald J., Levesque, Hector J. and Reiter, Raymond, eds. 1992. Knowledge Representation. Cambridge, Massachusetts: The MIT Press.
Cohen, Philip R. and Levesque, Hector J. 1980. “Speech Acts and the Recognition of Shared Plans.” in Proceedings of the 1980 Meeting of the Canadian Society for Computational Studies of Intelligence, pp. 263–271. San Francisco, California: Morgan Kaufmann Publishers, Inc.
Cohen, Philip R. and Levesque, Hector J. 1985. “Speech Acts and Rationality.” in ACL-85. Proceedings of the 23rd Meeting of the Association for Computational Linguistics, edited by William C. Mann, pp. 49–59. Morristown, New Jersey: Association for Computational Linguistics.
Cohen, Philip R. and Levesque, Hector J. 1987. “Persistence, Intention, and Commitment.” in Reasoning about Actions and Plans, Proceedings of the 1986 Workshop at Timberline, Oregon, edited by Michael P. Georgeff and Amy L. Lansky, pp. 297–340. San Francisco, California: Morgan Kaufmann Publishers. Reprinted in Cohen, Morgan and Pollack (1990, 33–69).
Cohen, Philip R. and Levesque, Hector J. 1990a. “Intention ss Choice with Commitment.” Artificial Intelligence 42(3): 213–261.
Cohen, Philip R. and Levesque, Hector J. 1990b. “Rational Interaction as the Basis for Communication.” in Intentions in Communication, edited by Philip R. Cohen, Jerry L. Morgan, and Martha E. Pollack, pp. 221–255. Cambridge, Massachusetts: The MIT Press.
de Giacomo, Giuseppe, Lespérance, Yves and Levesque, Hector J. 1997. “Reasoning about Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.” in IJCAI-97. Proceedings of the 15th International Joint Conference on Artificial Intelligence, edited by Michael P. Georgeff and Martha E. Pollack, pp. 1221–1226. San Francisco, California: Morgan Kaufmann Publishers.
de Giacomo, Giuseppe, Lésperance, Yves and Levesque, Hector J. 2000. “ConGolog, a Concurrent Programming Language based on Situation Calculus.” Artificial Intelligence 121(1–2): 109–169.
de Giacomo, Giuseppe, Lésperance, Yves, Levesque, Hector J. and Sardiña, Sebastian. 2002. “On the Semantics of Deliberation in IndiGolog–from Theory to Implementation.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 603–614. San Francisco, California: Morgan Kaufmann Publishers.
de Giacomo, Giuseppe and Levesque, Hector J. 2000. “Two Approaches to Efficient Open-World Reasoning.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 59–78. Dordrecht: Kluwer Academic Publishers.
Lakemeyer, Gerhard and Levesque, Hector J. 1988. “A Tractable Knowledge Representation Service with Full Introspection.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 145–159. San Francisco, California: Morgan Kaufmann Publishers.
Lakemeyer, Gerhard and Levesque, Hector J. 1998. “\({\cal AOL}\) A Logic of Acting, Sensing, Knowing, and Only Knowing.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 316–327. San Francisco, California: Morgan Kaufmann Publishers.
Lespérance, Yves and Levesque, Hector J. 1995. “Indexical Knowledge and Robot Action – A Logical Approach.” Artificial Intelligence 73(1–2): 69–115.
Lespérance, Yves, Levesque, Hector J., Lin, Fangzhen, Marcu, Daniel, Reiter, Raymond and Scherl, Richard B. 1994. “A Logical Approach to High-Level Robot Programming – A Progress Report.” in AAAI-94. Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium, edited by Benjamin J. Kuipers, pp. 79–85. Menlo Park, California: The AAAI Press.
Lespérance, Yves, Levesque, Hector J., Lin, Fangzhen, Marcu, Daniel, Reiter, Raymond and Scherl, Richard B. 1996. “Foundations of a Logical Approach to Agent Programming.” in ATAL-95. Intelligent Agents Volume II – Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages, edited by Michael J. Wooldridge, Jörg Paul Müller, and Miland Tambe, pp. 331–346. Lecture Notes in Computer Science. Berlin: Springer.
Lespérance, Yves, Levesque, Hector J., Lin, Fangzhen and Scherl, Richard B. 2000. “Ability and Knowing How in the Situation Calculus.” Studia Logica: An International Journal for Symbolic Logic 66(1): 165–186.
Lespérance, Yves, Levesque, Hector J. and Reiter, Raymond. 1999. “A Situation Calculus Approach to Modeling and Programming Agents.” in Foundations of Rational Agency, edited by Michael J. Wooldridge and Anand S. Rao, pp. 275–299. Dordrecht: Kluwer Academic Publishers.
Levesque, Hector J. 1981. “The Interaction with Incomplete Knowledge Bases: A Formal Treatment.” in IJCAI-81. Proceedings of the 7th International Joint Conference on Artificial Intelligence, edited by Patrick J. Hayes, pp. 240–245. San Francisco, California: Morgan Kaufmann Publishers.
Levesque, Hector J. 1984a. “A Logic of Implicit and Explicit Belief.” in AAAI-84. Proceedings of the Fourth National Conference on Artificial Intelligence, edited by Ronald J. Brachman, pp. 198–202. Menlo Park, California: The AAAI Press.
Levesque, Hector J. 1984b. “Foundations of a Functional Approach to Knowledge Representation.” Artificial Intelligence 23(2): 155–212.
Levesque, Hector J. 1984c. “The Logic of Incomplete Knowledge Bases.” in On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, edited by Michael L. Brodie, John Mylopoulos, and Joachim W. Schmidt, pp. 163–189. Berlin: Springer.
Levesque, Hector J. 1986. “Making Believers out of Computers.” Artificial Intelligence 30(1): 81–108.
Levesque, Hector J. 1987. “Taking Issue: Guest Editor’s Introduction.” Computational Intelligence 3(3): 149–150.
Levesque, Hector J. 1988a. “Logic and the Complexity of Reasoning.” The Journal of Philosophical Logic 17(4): 355–389. Reprinted in Thomason (1989, 73–107).
Levesque, Hector J. 1988b. “Comments on Doyle (1988).” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 361–362. San Francisco, California: Morgan Kaufmann Publishers.
Levesque, Hector J. 1989. “A Knowledge-Level Account of Abduction.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan, pp. 1061–1067. San Francisco, California: Morgan Kaufmann Publishers.
Levesque, Hector J. 1990. “All I Know: A Study in Autoepistemic Logic.” Artificial Intelligence 42(3): 263–309.
Levesque, Hector J. 1991. “Belief and Introspection.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 247–260. New York: Academic Press.
Levesque, Hector J. 1994. “Knowledge, Action, and Ability in the Situation Calculus.” in TARK 1994. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, edited by Ronald Fagin, pp. 1–4. San Francisco, California: Morgan Kaufmann Publishers.
Levesque, Hector J. 1995. “What is Planning in the Presence of Sensing?” Toronto: Computer Science Department, University of Toronto.
Levesque, Hector J. 1998a. “A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 14–23. San Francisco, California: Morgan Kaufmann Publishers.
Levesque, Hector J. 1998b. “What Robots Can Do (Abstract).” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 651. San Francisco, California: Morgan Kaufmann Publishers.
Levesque, Hector J. and Brachman, Ronald J. 1984. “A Fundamental Tradeoff in KR and Reasoning.” in CSCSI: Proceedings of the CSCSI/SCEIO Conference 1984, pp. 141–152. San Francisco, California: Morgan Kaufmann Publishers, Inc. reprinted in Brachman and Levesque (1995).
Levesque, Hector J. and Lakemeyer, Gerhard. 2000. The Logic of Knowledge Bases. Cambridge, Massachusetts: The MIT Press.
Levesque, Hector J. and Nunes, José H. 1990. “On Acting Together.” in AAAI-90. Proceedings of the Eighth National Conference on Artificial Intelligence, edited by Thomas G. Dietterich and William R. Swartout, pp. 94–99. Menlo Park, California: The AAAI Press.
Levesque, Hector J., Reiter, Raymond, Lespérance, Yves, Lin, Fangzhen and Scherl, Richard B. 1997. “golog: a Logic Programming Language for Dynamic Domains.” Journal of Logic Programming 31(1–3).
Lin, Fangzhen and Levesque, Hector J. 1998. “What Robots Can Do: Robot Programs and Effective Achievability.” Artificial Intelligence 101(1–2): 201–226.
McCalla, Gordon I., Schneider, Peter, Cohen, R. and Levesque, Hector J. 1978. “Investigations into Planning and Executing in an Independent and Continuously Changing Microworld.” 78–2. Toronto: Department of Computer Science, University of Toronto.
Mitchell, David G. and Levesque, Hector J. 1996. “Some Pitfalls for Experimenters with Random SAT.” Artificial Intelligence 81(1–2): 111–125.
Mitchell, David G., Selman, Bart and Levesque, Hector J. 1992. “Hard and Easy Distributions for SAT Problems.” in AAAI-92. Proceedings of the Tenth National Conference on Artificial Intelligence, edited by Paul S. Rosenbloom and Peter Szolovits, pp. 459–465. Menlo Park, California: The AAAI Press.
Mylopoulos, John and Levesque, Hector J. 1984. “An Overview of Knowledge Representation.” in On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, edited by Michael L. Brodie, John Mylopoulos, and Joachim W. Schmidt, pp. 3–17. Berlin: Springer.
Petrick, Ronald P. A. and Levesque, Hector J. 2002. “Knowledge Equivalence in Combined Action Theories.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 303–314. San Francisco, California: Morgan Kaufmann Publishers.
Riviéres, Jim des and Levesque, Hector J. 1986. “The Consistency of Syntactical Treatments of Knowledge.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 115–130. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Scherl, Richard B. and Levesque, Hector J. 1993. “The Frame Problem and Knowledge-Producing Actions.” in AAAI-93. Proceedings of the Eleventh National Conference on Artificial Intelligence, edited by Richard E. Fikes and Wendy G. Lehnert, pp. 698–695. Menlo Park, California: The AAAI Press.
Scherl, Richard B. and Levesque, Hector J. 2003. “Knowledge, Action, and the Frame Problem.” Artificial Intelligence 144(1–2): 1–39.
Selman, Bart and Levesque, Hector J. 1989. “The Tractability of Path-Based Inheritance.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan, pp. 1140–1145. San Francisco, California: Morgan Kaufmann Publishers.
Selman, Bart and Levesque, Hector J. 1990. “Abductive and Default Reasoning: A Computational Core.” in AAAI-90. Proceedings of the Eighth National Conference on Artificial Intelligence, edited by Thomas G. Dietterich and William R. Swartout, pp. 343–348. Menlo Park, California: The AAAI Press.
Selman, Bart and Levesque, Hector J. 1993. “The Complexity of Path-Based Defeasible Inheritance.” Artificial Intelligence 62(2): 303–339.
Selman, Bart and Levesque, Hector J. 1996. “Support Set Selection for Abductive and Default Reasoning.” Artificial Intelligence 82(1–2): 259–272.
Selman, Bart, Levesque, Hector J. and Mitchell, David G. 1992. “A New Method for Solving Hard Satisfiability Problems.” in AAAI-92. Proceedings of the Tenth National Conference on Artificial Intelligence, edited by Paul S. Rosenbloom and Peter Szolovits, pp. 440–446. Menlo Park, California: The AAAI Press.
Selman, Bart, Mitchell, David G. and Levesque, Hector J. 1996. “Generating Hard Satisfiability Problems.” Artificial Intelligence 81(1–2): 17–29.
Shapiro, Steven, Lespérance, Yves and Levesque, Hector J. 1995. “Goals and Rational Action in the Situation Calculus – A Preliminary Report.” in AAAI-95. Working Papers of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, edited by Michael R. Fehling, pp. 117–122. Menlo Park, California: The AAAI Press.
Shapiro, Steven, Lespérance, Yves and Levesque, Hector J. 1997. “Specifying Communicative Multi-Agent Systems with ConGolog.” in AAAI-97. Working Notes: AAAI Fall Symposium on Communicative Action in Humans and Machines, edited by David R. Traum, pp. 75–82. Menlo Park, California: The AAAI Press. Reprinted in Wobcke, Pagnucco and Zhang (1998, 1–14).
Shapiro, Steven, Pagnucco, Maurice and Levesque, Hector J. 2000. “Iterated Belief Change in the Situation Calculus.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 527–538. San Francisco, California: Morgan Kaufmann Publishers.

Further References

Cohen, Philip R., Morgan, Jerry L. and Pollack, Martha E., eds. 1990. Intentions in Communication. Cambridge, Massachusetts: The MIT Press.
Doyle, Jon. 1988. “Knowledge, Representation, and Rational Self-Government.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 345–354. San Francisco, California: Morgan Kaufmann Publishers.
Thomason, Richmond H., ed. 1989. Philosophical Logic and Artificial Intelligence. Dordrecht: Kluwer Academic Publishers.
Wobcke, Wayne, Pagnucco, Maurice and Zhang, Chengqi, eds. 1998. Agents and Multi-Agent Systems: Formalisms, Methodologies, and Applications.Based on the AI’97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. Berlin: Springer.