Login with OpenID | Report issues

 

Author: Hector J. Levesque [RDF, Bibtex, BibGraph] has 146 publications

report error (So far 0 user(s) reported errors on this item)

A semantic characterization of a useful fragment of the situation calculus with knowledge. Gerhard Lakemeyer, Hector J. Levesque. Artif. Intell. 142-164 2011



Iterated belief change in the situation calculus. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque. Artif. Intell. 165-192 2011



A Correctness Result for Reasoning about One-Dimensional Planning Problems Yuxiao Hu, Hector J. Levesque. Proc. of The Twelfth International Conference on The Principles of Knowledge Representation and Reasoning 2010



Is It Enough to Get the Behavior Right? Hector J. Levesque. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09) 1439-1444 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



A Semantical Account of Progression in the Presence of Defaults Gerhard Lakemeyer, Hector J. Levesque. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09) 842-847 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



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



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



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



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



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



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



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



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



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



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



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



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



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



Knowledge Representation and Reasoning. Ronald Brachman, Hector J. Levesque. Knowledge Representation and Reasoning. I-XXIX, 1-381 2004



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



Introduction Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling. Ann. Math. Artif. Intell. 131-133 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



A Logic of Limited Belief for Reasoning with Disjunctive Information Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque. Proc. KR-04 587--597 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



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



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



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



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



Knowledge Equivalence in Combined Action Theories Ron Petrick, Hector J. Levesque. Proceedings of KR-2002 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 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



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



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



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



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



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



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



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



ConGolog, A Concurrent Programming Language Based on the Situation Calculus Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque. Artificial Intelligence 109--169 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



Iterated Belief Change in the Situation Calculus Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque. KR 527-538 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



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



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



Query evaluation and progression in AOL knowledge bases Gerhard Lakemeyer, Hector J. Levesque. Proc. IJCAI-99 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



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



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



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



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



Foundations for the situation calculus Hector J. Levesque, Fiora Pirri, Ray Reiter. Electronic Transactions on Artificial Intelligence 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



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



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



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



An incremental interpreter for high-level programs with sensing Giuseppe Giacomo, Hector J. Levesque. 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. Journal of Logic Programming 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



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



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 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 Giacomo, Yves Lespérance, Hector J. Levesque. Proceedings of the Fifteenth International Joint Conference on AI (IJCAI-97) 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



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



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



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



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



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



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



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



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



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



Indexical Knowledge and Robot Action -- A Logical Account Yves Lespérance, Hector J. Levesque. Artificial Intelligence 69--115 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



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 (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



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



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



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



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



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



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



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



The Frame Problem and Knowledge-Producing Actions Richard Scherl, Hector J. Levesque. Proceedings of AAAI-93 689--695 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



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



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



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



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



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 General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning Alan M. Frisch, Ronald J. Brachman, Hector J. Levesque, Raymond Reiter. KR-89 126-136 1989



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



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



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



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



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



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



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



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



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



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



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



The Knowledge Level of a KBMS Ronald J. Brachman, Hector J. Levesque. On Knowledge Base Management Systems (Islamorada) 9-12 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



A Logic of Implicit and Explicit Belief Hector J. Levesque. AAAI 198-202 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



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



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: Integrating Terminology and Assertion Ronald J. Brachman, Hector J. Levesque, Richard Fikes. AAAI 31-35 1983



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



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



An Overview of Knowledge Representation John Mylopoulos, Hector J. Levesque. On Conceptual Modelling (Intervale) 3-17 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