Author: Hector J. Levesque [RDF, Bibtex, BibBase] has 156 publications

See also:


Is It Enough to Get the Behavior Right? Hector J. Levesque. IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 1439-1444 2009


A Semantical Account of Progression in the Presence of Defaults Gerhard Lakemeyer, Hector J. Levesque. IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 842-847 2009


A Semantical Account of Progression in the Presence of Defaults Gerhard Lakemeyer, Hector J. Levesque. Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos 82-98 2009


Planning with Loops: Some New Results Yuxiao Hu, Hector J. Levesque. Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece 2009


On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture Stavros Vassos, Hector J. Levesque. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08) 1004-1009 2008


On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture Stavros Vassos, Hector J. Levesque. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008 1004-1009 2008


First-Order Strong Progression for Local-Effect Basic Action Theories Stavros Vassos, Lakemeyer Gerhard, Hector J. Levesque. Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR-08) 2008


First-Order Strong Progression for Local-Effect Basic Action Theories Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque. Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008 662-672 2008


Progression of Situation Calculus Action Theories with Incomplete Information Stavros Vassos, Hector J. Levesque, Manuela M. Veloso. Proceedings of the 20th International Joint Conference on Artificial Intelligence 2024.2029 2007


A Logical Theory of Coordination and Joint Ability Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance. Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada 421-426 2007


Towards a logical theory of coordination and joint ability Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance. 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007 81 2007


Some Further Thoughts on Expressiveness and Tractability Hector J. Levesque. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 2007


Progression of Situation Calculus Action Theories with Incomplete Information Stavros Vassos, Hector J. Levesque. IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 2029-2024 2007


Goal Change in the Situation Calculus Steven Shapiro, Yves Lespérance, Hector J. Levesque. J. Log. Comput. 983-1018 2007


Towards an Axiom System for Default Logic Gerhard Lakemeyer, Hector J. Levesque. Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA 2006


On the Limits of Planning over Belief States Under Strict Uncertainty Sebastian Sardina, Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. KR 463--471 2006


On the Limits of Planning over Belief States under Strict Uncertainty Sebastian Sardi na, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 463-471 2006


The Truth About Defaults Hector J. Levesque. ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings 5 2006


Semantics for a useful fragment of the situation calculus Gerhard Lakemeyer, Hector J. Levesque. IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 490-496 2005


Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions Yongmei Liu, Hector J. Levesque. IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 522-527 2005


Only-Knowing: Taking It Beyond Autoepistemic Reasoning Gerhard Lakemeyer, Hector J. Levesque. Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA 633-638 2005


Planning with Loops Hector J. Levesque. IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 509-515 2005


Planning with Loops Hector J. Levesque. Proceedings of IJCAI-05 2005


Goal Change Steven Shapiro, Yves Lespérance, Hector J. Levesque. IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 582-588 2005


The 2005 AAAI Classic Paper Awards Tom M. Mitchell, Hector J. Levesque. AI Magazine 98-99 2005


Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information Yongmei Liu, Hector J. Levesque. Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA 639-644 2005


Situations, Si! Situation Terms, No! Gerhard Lakemeyer, Hector J. Levesque. Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 516-526 2004


On the Semantics of Deliberation in IndiGolog -- From Theory to Implementation Sebastian Sardina, Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. Annals of Mathematics and Artificial Intelligence 259--299 2004


On Ability to Autonomously Execute Agent Programs with Sensing Sebastian Sardina, Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. Proceedings of the 4th International Workshop on Cognitive Robotics (CoRobo-04) 2004


On the Semantics of Deliberation in Indigolog - from Theory to Implementation Sebastian Sardi na, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. Ann. Math. Artif. Intell. 259-299 2004


On Ability to Autonomously Execute Agent Programs with Sensing Sebastian Sardi na, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA 1522-1523 2004


A Logic of Limited Belief for Reasoning with Disjunctive Information Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque. Proc. KR-04 587--597 2004


A Logic of Limited Belief for Reasoning with Disjunctive Information Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque. Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 587-597 2004


Introduction Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling. Ann. Math. Artif. Intell. 131-133 2004


A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases Yongmei Liu, Hector J. Levesque. Proc. IJCAI-03 83--88 2003


Knowledge, Action, and the Frame Problem Richard Scherl, Hector J. Levesque. Artificial Intelligence 1--39 2003


A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases Yongmei Liu, Hector J. Levesque. IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 83-88 2003


Knowledge, action, and the frame problem Richard B. Scherl, Hector J. Levesque. Artif. Intell. 1-39 2003


Knowledge Equivalence in Combined Action Theories Ron Petrick, Hector J. Levesque. Proceedings of KR-2002 2002


The cognitive agents specification language and verification environment for multiagent systems Steven Shapiro, Yves Lespérance, Hector J. Levesque. The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings 19-26 2002


In Memory of Ray Reiter (1939-2002) Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque. AI Magazine 93 2002


On the Semantics of Deliberation in IndiGolog -- From Theory to Implementation Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian na, . Fensel, F. Giunchiglia, D. McGuinness, Mary Anne Williams. Proceedings of Eighth International Conference in Principles of Knowledge Representation and Reasoning (KR-2002) 603--614 2002


Knowledge Equivalence in Combined Action Theories Ronald P. A. Petrick, Hector J. Levesque. Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 303-314 2002


On the Semantics of Deliberation in IndiGolog: From Theory to Implementation Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardi na. Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 603-614 2002


The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems Steven Shapiro, Yves Lespérance, Hector J. Levesque, Christiano Castelfranchi, W. L. Johnson. Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02) 19--26 2002


Incremental execution of guarded theories Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardi na. ACM Trans. Comput. Log. 495-525 2001


Incremental Execution of Guarded Theories Giuseppe Giacomo, Hector J. Levesque, Sebastian Sardina. ACM Transactions on Computational Logic (TOCL) 495--525 2001


The Logic of Knowledge Bases Hector J. Levesque, Gerhard Lakemeyer. The Logic of Knowledge Bases 2001


Querying AOL Knowledge Bases Gerhard Lakemeyer, Hector J. Levesque. Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday) 225-244 2000


Ability and Knowing How in the Situation Calculus Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl. Studia Logica 165-186 2000


Ability and Knowing How in the Situation Calculus Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard Scherl. Studia Logica 165--186 2000


Iterated Belief Change in the Situation Calculus Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque. KR 527-538 2000


Iterated Belief Change in the Situation Calculus Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque, A. G. Cohn, F. Giunchiglia, Bart Selman. Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000) 2000


Semantics of Agent Communication Languages for Group Interaction Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque. Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA 42-47 2000


LeGolog: Inexpensive Experiments in Cognitive Robotics Hector J. Levesque, Maurice Pagnucco. Proceedings of the Second International Cognitive Robotics Workshop 2000


ConGolog, a concurrent programming language based on the situation calculus Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. Artif. Intell. 109-169 2000


ConGolog, A Concurrent Programming Language Based on the Situation Calculus Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. Artificial Intelligence 109--169 2000


An Embedding of ConGolog in 3APL Koen V. Hindriks, Yves Lespérance, Hector J. Levesque. ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 558-562 2000


The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams Sanjeev Kumar, Philip R. Cohen, Hector J. Levesque. 4th International Conference on Multi-Agent Systems (ICMAS 2000), 10-12 July 2000, Boston, MA, USA 159-166 2000


A Situation Calculus Approach to Modeling and Programming Agents Yves Lespérance, Hector J. Levesque, Ray Reiter, Rao A., M. Wooldridge. Foundations and Theories of Rational Agency 1999


Projection using Regression and Sensors Giuseppe Giacomo, Hector J. Levesque. Proceedingsof the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99) 160--165 1999


Query Evaluation and Progression in AOL Knowledge Bases Gerhard Lakemeyer, Hector J. Levesque. Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages 124-131 1999


An Incremental Interpreter for High-Level Programs with Sensing Giuseppe Giacomo, Hector J. Levesque, Hector J. Levesque, Fiora Pirri. Logical foundation for cognitive agents: contributions in honor of Ray Reiter 86--102 1999


Query evaluation and progression in AOL knowledge bases Gerhard Lakemeyer, Hector J. Levesque. Proc. IJCAI-99 1999


Logical Foundations for Cognitive Agents: Papers in Honour of Ray Reiter Sheila A. McIlraith, Hector J. Levesque, Fiora Pirri. 155-172 1999


On Sensing and Off-Line Interpreting in Golog Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri. Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter 173--187 1999


Projection Using Regression and Sensors Giuseppe De Giacomo, Hector J. Levesque. Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages 160-165 1999


Reasoning about Noisy Sensors and Effectors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. Artif. Intell. 171-208 1999


An Incremental Interpreter for High-Level Programs with Sensing Giuseppe Giacomo, Hector J. Levesque, Hector J. Levesque, Fiora Pirri. Logical foundation for cognitive agents: contributions in honor of Ray Reiter 86--102 1999


Reasoning about Noisy Sensors and Effectors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. Artif. Intell. 171-208 1999


Reasoning about Noisy Sensors and Effectors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. Artif. Intell. 171-208 1999


What Robots Can Do: Robot Programs and Effective Achievability Fangzhen Lin, Hector J. Levesque. Artificial Intelligence 201--226 1998


Foundations for the Situation Calculus Hector J. Levesque, Fiora Pirri, Raymond Reiter. Electron. Trans. Artif. Intell. 159-178 1998


What Robots Can Do Hector J. Levesque. KR 651 1998


An incremental interpreter for high-level programs with sensing Giuseppe Giacomo, Hector J. Levesque. 1998


AOL: A logic of Acting, Sensing, Knowing, and Only Knowing Gerhard Lakemeyer, Hector J. Levesque. KR 316-329 1998


What Robots Can Do: Robot Programs and Effective Achievability Fangzhen Lin, Hector J. Levesque. Artif. Intell. 201-226 1998


A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases Hector J. Levesque. KR 14-23 1998


Foundations for a Calculus of Situations Hector J. Levesque, Fiora Pirri, Ray Reiter. Electronic Transactions of AI (ETAI) 159--178 1998


High-level Robotic Control: Beyond Planning. A Position Paper. Hector J. Levesque, Ray Reiter. AIII 1998 Spring Symposium: Integrating Robotics Research: Taking the Next Big Leap 1998


Reasoning about Noisy Sensors and Effectors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. CoRR 1998


GOLOG: A Logic Programming Language for Dynamic Domains Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl. J. Log. Program. 59-83 1997


An Experiment in Using Golog to Build a Personal Banking Assistant Yves Lespérance, Hector J. Levesque, S. Ruman, L. Rao, W. Wobcke. Intelligent Agent Systems: Theoretical and Practical Issues Lectures Notes in Artificial Intelligence (LNAI) 27--43 1997


An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract) Yves Lespérance, Hector J. Levesque, Shane J. Ruman. Agents 486-487 1997


Specifying Communicative Multi-Agent Systems with ConGolog Steven Shapiro, Yves Lespérance, Hector J. Levesque. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines 72--82 1997


Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. IJCAI 1221-1226 1997


Specifying Communicative Multi-Agent Systems (Invited Paper) Steven Shapiro, Yves Lespérance, Hector J. Levesque. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1-14 1997


Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. Proceedings of the Fifteenth International Joint Conference on AI (IJCAI-97) 1221--1226 1997


Some Pitfalls for Experimenters with Random SAT David G. Mitchell, Hector J. Levesque. Artif. Intell. 111-125 1996


Undirected Behavior Without Unbounded Search Ronald J. Brachman, Hector J. Levesque. ACM Comput. Surv. 1 1996


Support Set Selection for Abductive and Default Reasoning Bart Selman, Hector J. Levesque. Artif. Intell. 259-272 1996


An Experiment in Using Golog to Build a Personal Banking Assistant Yves Lespérance, Hector J. Levesque, Shane J. Ruman. Intelligent Agent Systems, Theoretical and Practical Issues, Based on a Workshop Held at PRICAI'96, Cairns, Australia, August 26-30, 1996 27-43 1996


What Is Planning in the Presence of Sensing? Hector J. Levesque. AAAI/IAAI, Vol. 2 1139-1146 1996


What is Planning in the Presence of Sensing? Hector J. Levesque. The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96 1139--1146 1996


Generating Hard Satisfiability Problems Bart Selman, David G. Mitchell, Hector J. Levesque. Artif. Intell. 17-29 1996


Foundations of a Logical Approach to Agent Programming Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard Scherl, M Woolridge, J. Muller, M. Tambe. Intelligent Agents II. Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95) 331-346 1995


Foundations of a Logical Approach to Agent Programming Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl. Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings 331-346 1995


Communicative Actions for Artificial Agents Philip R. Cohen, Hector J. Levesque. Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA 65-72 1995


Indexical Knowledge and Robot Action -- A Logical Account Yves Lespérance, Hector J. Levesque. Artificial Intelligence 69--115 1995


The Situation Calculus with Sensing and Indexical Knowledge Richard Scherl, Hector J. Levesque, Yves Lespérance, Moshe Koppel, Eli Shamir. Proceedings of BISFAI'95: The Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence 86-95 1995


Indexical Knowledge and Robot Action - A Logical Account Yves Lespérance, Hector J. Levesque. Artif. Intell. 69-115 1995


Reasoning about Noisy Sensors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95) 1933--1940 1995


Undirected Behaviour Without Unbounded Search Ronald J. Brachman, Hector J. Levesque. ACM Comput. Surv. 314-316 1995


Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. Reasoning with Uncertainty in Robotics, International Workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995, Proceedings 218-220 1995


Reasoning about Noisy Sensors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. IJCAI 1933-1940 1995


Reasoning about Noisy Sensors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-1995) 1933-1940 1995


Goals and Rational Action in the Situation Calculus - A Preliminary Report Steven Shapiro, Yves Lespérance, Hector J. Levesque. Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications 117--122 1995


Distributed Software Agents and Communication in the Situation Calculus M. Marcu, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Ray Reiter, Richard Scherl. In Proc. Intelligent Computer Communication (ICC'95) 1995


An Argument for Indexical Representations in Temporal Reasoning Yves Lespérance, Hector J. Levesque, Renee Elio. Proceedings of the Tenth Biennial Conference of the Canadian Society for Computational Studies of Intelligence 271--277 1994


A Logical Approach to High-Level Robot Programming. A Progress Report Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard Scherl. Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium 1994


Knowledge, Action, and Ability in the Situation Calculus Hector J. Levesque. Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994 1-4 1994


Preliminaries to a collaborative model of dialogue Philip R. Cohen, Hector J. Levesque. Speech Communication 265-274 1994


The Frame Problem and Knowledge-Producing Actions Richard B. Scherl, Hector J. Levesque. AAAI 689-695 1993


The Frame Problem and Knowledge-Producing Actions Richard Scherl, Hector J. Levesque. Proceedings of AAAI-93 689--695 1993


The Complexity of Path-Based Defeasible Inheritance Bart Selman, Hector J. Levesque. Artif. Intell. 303-339 1993


A New Method for Solving Hard Satisfiability Problems Bart Selman, Hector J. Levesque, David G. Mitchell. AAAI 440-446 1992


Hard and Easy Distributions of SAT Problems David G. Mitchell, Bart Selman, Hector J. Levesque. AAAI 459-465 1992


Confirmations and Joint Action Philip R. Cohen, Hector J. Levesque. IJCAI 951-959 1991


Introduction to the Special Volume on Knowledge Representation Ronald J. Brachman, Hector J. Levesque, Raymond Reiter. Artif. Intell. 1-3 1991


Intention is Choice with Commitment Philip R. Cohen, Hector J. Levesque. Artif. Intell. 213-261 1990


Performatives in a Rationally Based Speech Act Theory Philip R. Cohen, Hector J. Levesque. ACL 79-88 1990


On Acting Together Hector J. Levesque, Philip R. Cohen, José H. T. Nunes. AAAI 94-99 1990


All I Know: A Study in Autoepistemic Logic Hector J. Levesque. Artif. Intell. 263-309 1990


Abductive and Default Reasoning: A Computational Core Bart Selman, Hector J. Levesque. AAAI 343-348 1990


Indexical Knowledge in Robot Plans Yves Lespérance, Hector J. Levesque. AAAI 1030-1037 1990


A Knowledge-Level Account of Abduction Hector J. Levesque. IJCAI 1061-1067 1989


The Tractability of Path-Based Inheritance Bart Selman, Hector J. Levesque. IJCAI 1140-1145 1989


A Tractable Knowledge Representation Service with Full Introspection Gerhard Lakemeyer, Hector J. Levesque. Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988 145-159 1988


Comments on "Knowledge, Representation, and Rational Self-Government" Hector J. Levesque. Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988 361-362 1988


The consistency of syntactical treatments of knowledge Jim Rivières, Hector J. Levesque. Computational Intelligence 31-41 1988


Panel: Locality vs. Rationality Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore. TARK 343 1988


Intention = Choice + Commitment Philip R. Cohen, Hector J. Levesque. AAAI 410-415 1987


Expressiveness and tractability in knowledge representation and reasoning Hector J. Levesque, Ronald J. Brachman. Computational Intelligence 78-93 1987


All I Know: An Abridged Report Hector J. Levesque. AAAI 426-431 1987


Tales from the Far Side of KRYPTON Ronald J. Brachman, Hector J. Levesque. Expert Database Conf. 3-43 1986


Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason. TARK 223 1986


Making Believers out of Computers Hector J. Levesque. Artif. Intell. 81-108 1986


The Consistency of Syntactical Treatments of Knowledge Jim Rivières, Hector J. Levesque. Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986 115-130 1986


The Knowledge Level of a KBMS Ronald J. Brachman, Hector J. Levesque. On Knowledge Base Management Systems (Islamorada) 9-12 1985


Speech Acts and Rationality Philip R. Cohen, Hector J. Levesque. ACL 49-60 1985


Knowledge Level Interfaces to Information Systems Hector J. Levesque, Ronald J. Brachman. On Knowledge Base Management Systems (Islamorada) 13-34 1985


A View Of Knowledge Representation Hector J. Levesque. On Knowledge Base Management Systems (Islamorada) 63-69 1985


An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque. IJCAI 532-539 1985


Foundations of a Functional Approach to Knowledge Representation Hector J. Levesque. Artif. Intell. 155-212 1984


What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level Ronald J. Brachman, Hector J. Levesque. Expert Database Workshop 69-78 1984


A Logic of Implicit and Explicit Belief Hector J. Levesque. AAAI 198-202 1984


The Tractability of Subsumption in Frame-Based Description Languages Ronald J. Brachman, Hector J. Levesque. AAAI 34-37 1984


KRYPTON: Integrating Terminology and Assertion Ronald J. Brachman, Hector J. Levesque, Richard Fikes. AAAI 31-35 1983


An Overview of Knowledge Representation John Mylopoulos, Hector J. Levesque. GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983 143-157 1983


Krypton: A Functional Approach to Knowledge Representation Ronald J. Brachman, Richard Fikes, Hector J. Levesque. IEEE Computer 67-73 1983


An Overview of Knowledge Representation John Mylopoulos, Hector J. Levesque. On Conceptual Modelling (Intervale) 3-17 1982


The Logic of Incomplete Knowledge Bases Hector J. Levesque. On Conceptual Modelling (Intervale) 165-189 1982


Competence in Knowledge Representation Ronald J. Brachman, Hector J. Levesque. AAAI 189-192 1982


The Interaction with Incomplete Knowledge Bases: A Formal Treatment Hector J. Levesque. Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 240-245 1981


Incompleteness in Knowledge Bases Hector J. Levesque. Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980 150-152 1980


An Overview of a Procedural Approach to Semantic Networks Hector J. Levesque, John Mylopoulos. IJCAI 283 1977