Selected papers by Hector Levesque

Cognitive Robotics

• Reasoning about continuous uncertainty in the situation calculus, Belle, V. and Levesque, H. in Proc. of the IJCAI-13 Conference, Beijing, 2013.
• Iterated belief change in the situation calculus, Shapiro, S., Pagnucco, M, Lesperance, Y. and Levesque, H. in Artificial Intelligence, 175, 2011.
• A correctness result for reasoning about one dimensional planning problems, Hu, Y. and Levesque, H., Proc. of the KR-2010 Conference, June 2010.
• Cognitive Robotics Levesque, H. and Lakemeyer, G., Handbook of Knowledge Representation, Elsevier, 2008.
• On the progression of situation calculus basic action theories Vassos, S. and Levesque, H. Proc. of the AAAI-08 Conference, 2008.
• A logical theory of coordination and joint ability Ghaderi H., Lesperance, Y., and Levesque, H. Proc. of the AAAI-07 Conference, 2007.
• Progression of situation calculus action theories with incomplete information, Vassos, S. and Levesque, H., Proc. of the IJCAI-07 Conference, 2007.
• On the limits of planning over belief states under strict uncertainty, Sardina, S., de Giacomo, G., Lesperance, Y., and Levesque, H., Proc. of the KR-2006 Conference, June 2006.
• Planning with loops, Levesque, H., in Proc. of the IJCAI-05 Conference, Edinburgh, Scotland, 2005.
• Semantics for a useful fragment of the situation calculus, Lakemeyer, G. and Levesque, H., in Proc. of the IJCAI-05 Conference, Edinburgh, Scotland, 2005.
• Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions, Liu, Y. and Levesque, H., in Proc. of the IJCAI-05 Conference, Edinburgh, Scotland, 2005.
• Knowledge, action, and the frame problem, Scherl, R. and Levesque, H., Artificial Intelligence, 144, 2003.
• On the semantics of deliberation in Indigolog: from theory to implementation, de Giacomo, G., Lesperance, Y., Levesque, H. and Sardina, S., in Proc. of the KR-2002 Conference, Toulouse, France, 2002.
• ConGolog, a concurrent programming language based on the situation calculus, de Giacomo, G., Lesperance, Y. and Levesque, H. Artificial Intelligence, 121, 2000, 109-169.
• Reasoning about noisy sensors and effectors in the situation calculus, Bacchus, F., Halpern, J., and Levesque, H., Artificial Intelligence, 111, 1999, 171-208.
• What robots can do: robot programs and effective achievability, Lin, F. and Levesque, H., Artificial Intelligence, 101, 1998, 201-226.
• GOLOG: A logic programming language for dynamic domains, Levesque, H, Reiter R., Lesperance, Y., Lin F., and Scherl R., Journal of Logic Programming, 31, 1997, 59-84.
• What is planning in the presence of sensing?, Levesque, H., in Proc. of AAAI-96 Conference, Portland, OR, Aug. 1996, 1139-1146.

Tractable reasoning

• Efficient reasoning in proper knowledge bases with unknown individuals, de Giacomo, G,. Lesperance, Y., and Levesque, H., in Proc. of the IJCAI-11 Conference, Barcelona, July 2011.
• Tractable reasoning in first-order knowledge bases with disjunctive information, Liu, Y. and Levesque, H., in Proc. of the AAAI-05 Conference, Pittsburgh, August 2005.
• A logic of limited belief for reasoning with disjunctive information, Liu, Y., Lakemeyer, G., and Levesque, H., in Proc. of the KR-2004 Conference, Whistler, BC, 2004.
• A tractability result for reasoning with incomplete first-order knowledge bases, Liu, Y. and Levesque, H., in Proc. of the IJCAI-03 Conference, Acapulco, Mexico, August 2003.
• Evaluation-based reasoning with disjunctive information in first-order knowledge bases, Lakemeyer, G. and Levesque, H., in Proc. of the KR-2002 Conference, Toulouse, France, 2002.
• A completeness result for reasoning with incomplete knowledge bases, Levesque, H., in Proc. of KR-98, Sixth International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, June 1998, 14-28.

Communication

• Semantics of agent communication languages for group interaction, Kumar, S., Huber, M., McGee, D., Cohen, P., Levesque, H., in Proc. of AAAI-2000 Conference, Austin, TX, Aug. 2000, 42-47.
• The adaptive agent architecture: achieving fault-tolerance using persistent broker teams, Kumar, S., Cohen, P., Levesque, H., in Proc. ICMAS-2000, The International Conference on Multi-Agent Systems, Boston MA, July 2000.
• Teamwork, Cohen, P., Levesque, H. Nous, Special Issue on Cognitive Science and AI, 25, 4, 1991, 487-512.

Miscellaneous

• On Our Best Behaviour, Levesque, H., written version of the IJCAI Research Excellence Award presentation, IJCAI-13 Beijing, August 2013. (Slides from the talk are here. The AIJ version of the paper is here.)
• The Winograd schema challenge Levesque, H. in Proc. of the CommonSense-11 Symposium, March 2011.
• Is it enough to get the behaviour right? Levesque, H. in Proc. of the IJCAI-09 Conference, July 2009.
• Towards an axiom system for default logic , Lakemeyer, G. and Levesque, H., in Proc. of the AAAI-06 Conference, August 2006.
• Only-knowing: taking it beyond autoepistemic reasoning , Lakemeyer, G. and Levesque, H., in Proc. of the AAAI-05 Conference, Pittsburgh, August 2005.

Unpublished, unrefereed, submitted nowhere

• Musings on the Collatz Conjecture
• On Computable Numbers, September 2022.
• How can an idea change the word?, December 2022.

Back to my home page.