Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Hector J. Levesque
2010 – today
- 2013
[j32]Stavros Vassos, Hector J. Levesque: How to progress a database III. Artif. Intell. 195: 203-221 (2013)- 2012
- [c89]
- [c88]
- [c87]
- [c86]
- 2011
- [j31]Gerhard Lakemeyer, Hector J. Levesque: A semantic characterization of a useful fragment of the situation calculus with knowledge. Artif. Intell. 175(1): 142-164 (2011)
- [j30]Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque: Iterated belief change in the situation calculus. Artif. Intell. 175(1): 165-192 (2011)
- [c85]Hector J. Levesque: The Winograd Schema Challenge. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
- [c84]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI 2011: 827-832
- [c83]Yuxiao Hu, Hector J. Levesque: A Correctness Result for Reasoning about One-Dimensional Planning Problems. IJCAI 2011: 2638-2643
- 2010
- [c82]
2000 – 2009
- 2009
- [c81]Gerhard Lakemeyer, Hector J. Levesque: A Semantical Account of Progression in the Presence of Defaults. Conceptual Modeling: Foundations and Applications 2009: 82-98
- [c80]Gerhard Lakemeyer, Hector J. Levesque: A Semantical Account of Progression in the Presence of Defaults. IJCAI 2009: 842-847
- [c79]
- 2008
- [c78]Stavros Vassos, Hector J. Levesque: On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. AAAI 2008: 1004-1009
- [c77]Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque: First-Order Strong Progression for Local-Effect Basic Action Theories. KR 2008: 662-672
- 2007
- [j29]Steven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change in the Situation Calculus. J. Log. Comput. 17(5): 983-1018 (2007)
- [c76]Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance: A Logical Theory of Coordination and Joint Ability. AAAI 2007: 421-426
- [c75]Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance: A Logical Theory of Coordination and Joint Ability. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 53-58
- [c74]Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance: Towards a logical theory of coordination and joint ability. AAMAS 2007: 81
- [c73]Hector J. Levesque: Some Further Thoughts on Expressiveness and Tractability. Description Logics 2007
- [c72]Stavros Vassos, Hector J. Levesque: Progression of Situation Calculus Action Theories with Incomplete Information. IJCAI 2007: 2029-2024
- 2006
- [c71]Gerhard Lakemeyer, Hector J. Levesque: Towards an Axiom System for Default Logic. AAAI 2006: 263-268
- [c70]
- [c69]Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Limits of Planning over Belief States under Strict Uncertainty. KR 2006: 463-471
- 2005
- [j28]Tom M. Mitchell, Hector J. Levesque: The 2005 AAAI Classic Paper Awards. AI Magazine 26(4): 98-99 (2005)
- [c68]Gerhard Lakemeyer, Hector J. Levesque: Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI 2005: 633-638
- [c67]Yongmei Liu, Hector J. Levesque: Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. AAAI 2005: 639-644
- [c66]Gerhard Lakemeyer, Hector J. Levesque: Semantics for a useful fragment of the situation calculus. IJCAI 2005: 490-496
- [c65]
- [c64]Yongmei Liu, Hector J. Levesque: Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. IJCAI 2005: 522-527
- [c63]
- 2004
- [b2]Ronald J. Brachman, Hector J. Levesque: Knowledge Representation and Reasoning. Elsevier 2004, ISBN 978-1-55860-932-7, pp. I-XXIX, 1-381
- [j27]Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling: Introduction. Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004)
- [j26]Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. 41(2-4): 259-299 (2004)
- [c62]Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523
- [c61]
- [c60]Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque: A Logic of Limited Belief for Reasoning with Disjunctive Information. KR 2004: 587-597
- 2003
- [j25]Richard B. Scherl, Hector J. Levesque: Knowledge, action, and the frame problem. Artif. Intell. 144(1-2): 1-39 (2003)
- [c59]Yongmei Liu, Hector J. Levesque: A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI 2003: 83-88
- 2002
- [j24]Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque: In Memory of Ray Reiter (1939-2002). AI Magazine 23(4): 93 (2002)
- [c58]Steven Shapiro, Yves Lespérance, Hector J. Levesque: The cognitive agents specification language and verification environment for multiagent systems. AAMAS 2002: 19-26
- [c57]Ronald P. A. Petrick, Hector J. Levesque: Knowledge Equivalence in Combined Action Theories. KR 2002: 303-314
- [c56]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña: On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR 2002: 603-614
- 2001
- [j23]Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña: Incremental execution of guarded theories. ACM Trans. Comput. Log. 2(4): 495-525 (2001)
- 2000
- [b1]Hector J. Levesque, Gerhard Lakemeyer: The logic of knowledge bases. MIT Press 2000, ISBN 978-0-262-12232-0, pp. I-XVIII, 1-282
- [j22]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1-2): 109-169 (2000)
- [j21]Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl: Ability and Knowing How in the Situation Calculus. Studia Logica 66(1): 165-186 (2000)
- [c55]Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque: Semantics of Agent Communication Languages for Group Interaction. AAAI/IAAI 2000: 42-47
- [c54]Gerhard Lakemeyer, Hector J. Levesque: Querying AOL Knowledge Bases. Intellectics and Computational Logic 2000: 225-244
- [c53]Koen V. Hindriks, Yves Lespérance, Hector J. Levesque: An Embedding of ConGolog in 3APL. ECAI 2000: 558-562
- [c52]Sanjeev Kumar, Philip R. Cohen, Hector J. Levesque: The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams. ICMAS 2000: 159-166
- [c51]Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque: Iterated Belief Change in the Situation Calculus. KR 2000: 527-538
1990 – 1999
- 1999
- [j20]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artif. Intell. 111(1-2): 171-208 (1999)
- [c50]Gerhard Lakemeyer, Hector J. Levesque: Query Evaluation and Progression in AOL Knowledge Bases. IJCAI 1999: 124-131
- [c49]Giuseppe De Giacomo, Hector J. Levesque: Projection Using Regression and Sensors. IJCAI 1999: 160-165
- 1998
- [j19]Fangzhen Lin, Hector J. Levesque: What Robots Can Do: Robot Programs and Effective Achievability. Artif. Intell. 101(1-2): 201-226 (1998)
- [j18]Hector J. Levesque, Fiora Pirri, Raymond Reiter: Foundations for the Situation Calculus. Electron. Trans. Artif. Intell. 2: 159-178 (1998)
- [c48]Hector J. Levesque: A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. KR 1998: 14-23
- [c47]Gerhard Lakemeyer, Hector J. Levesque: AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR 1998: 316-329
- [c46]
- [i1]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus. CoRR cs.AI/9809013 (1998)
- 1997
- [j17]Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl: GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. 31(1-3): 59-83 (1997)
- [c45]Yves Lespérance, Hector J. Levesque, Shane J. Ruman: An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). Agents 1997: 486-487
- [c44]Steven Shapiro, Yves Lespérance, Hector J. Levesque: Specifying Communicative Multi-Agent Systems (Invited Paper). Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 1-14
- [c43]Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin: Controlling Autonomous Robots with GOLOG. Australian Joint Conference on Artificial Intelligence 1997: 1-12
- [c42]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI 1997: 1221-1226
- 1996
- [j16]Bart Selman, David G. Mitchell, Hector J. Levesque: Generating Hard Satisfiability Problems. Artif. Intell. 81(1-2): 17-29 (1996)
- [j15]David G. Mitchell, Hector J. Levesque: Some Pitfalls for Experimenters with Random SAT. Artif. Intell. 81(1-2): 111-125 (1996)
- [j14]Bart Selman, Hector J. Levesque: Support Set Selection for Abductive and Default Reasoning. Artif. Intell. 82(1-2): 259-272 (1996)
- [j13]Ronald J. Brachman, Hector J. Levesque: Undirected Behavior Without Unbounded Search. ACM Comput. Surv. 28(4es): 1 (1996)
- [c41]
- [c40]Yves Lespérance, Hector J. Levesque, Shane J. Ruman: An Experiment in Using Golog to Build a Personal Banking Assistant. PRICAI Workshop on Intelligent Agent Systems 1996: 27-43
- 1995
- [j12]Yves Lespérance, Hector J. Levesque: Indexical Knowledge and Robot Action - A Logical Account. Artif. Intell. 73(1-2): 69-115 (1995)
- [j11]Ronald J. Brachman, Hector J. Levesque: Undirected Behaviour Without Unbounded Search. ACM Comput. Surv. 27(3): 314-316 (1995)
- [c39]Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl: Foundations of a Logical Approach to Agent Programming. ATAL 1995: 331-346
- [c38]
- [c37]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940
- [c36]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. Reasoning with Uncertainty in Robotics 1995: 218-220
- 1994
- [j10]Philip R. Cohen, Hector J. Levesque: Preliminaries to a collaborative model of dialogue. Speech Communication 15(3-4): 265-274 (1994)
- [c35]
- 1993
- [j9]Bart Selman, Hector J. Levesque: The Complexity of Path-Based Defeasible Inheritance. Artif. Intell. 62(2): 303-339 (1993)
- [c34]Richard B. Scherl, Hector J. Levesque: The Frame Problem and Knowledge-Producing Actions. AAAI 1993: 689-695
- 1992
- [c33]Bart Selman, Hector J. Levesque, David G. Mitchell: A New Method for Solving Hard Satisfiability Problems. AAAI 1992: 440-446
- [c32]David G. Mitchell, Bart Selman, Hector J. Levesque: Hard and Easy Distributions of SAT Problems. AAAI 1992: 459-465
- 1991
- [j8]Ronald J. Brachman, Hector J. Levesque, Raymond Reiter: Introduction to the Special Volume on Knowledge Representation. Artif. Intell. 49(1-3): 1-3 (1991)
- [c31]
- 1990
- [j7]Philip R. Cohen, Hector J. Levesque: Intention is Choice with Commitment. Artif. Intell. 42(2-3): 213-261 (1990)
- [j6]Hector J. Levesque: All I Know: A Study in Autoepistemic Logic. Artif. Intell. 42(2-3): 263-309 (1990)
- [c30]
- [c29]Bart Selman, Hector J. Levesque: Abductive and Default Reasoning: A Computational Core. AAAI 1990: 343-348
- [c28]
- [c27]Philip R. Cohen, Hector J. Levesque: Performatives in a Rationally Based Speech Act Theory. ACL 1990: 79-88
1980 – 1989
- 1989
- [c26]
- [c25]
- [e1]Ronald J. Brachman, Hector J. Levesque, Raymond Reiter (Eds.): Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989. Morgan Kaufmann 1989, ISBN 1-55860-032-9
- 1988
- [j5]Jim des Rivières, Hector J. Levesque: The consistency of syntactical treatments of knowledge. Computational Intelligence 4: 31-41 (1988)
- [c24]Gerhard Lakemeyer, Hector J. Levesque: A Tractable Knowledge Representation Service with Full Introspection. TARK 1988: 145-159
- [c23]Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore: Panel: Locality vs. Rationality. TARK 1988: 343
- [c22]Hector J. Levesque: Comments on "Knowledge, Representation, and Rational Self-Government". TARK 1988: 361-362
- 1987
- [j4]Hector J. Levesque, Ronald J. Brachman: Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence 3: 78-93 (1987)
- [c21]
- [c20]
- 1986
- [j3]
- [c19]Ronald J. Brachman, Hector J. Levesque: Tales from the Far Side of KRYPTON. Expert Database Conf. 1986: 3-43
- [c18]Jim des Rivières, Hector J. Levesque: The Consistency of Syntactical Treatments of Knowledge. TARK 1986: 115-130
- [c17]Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason: Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? TARK 1986: 223
- 1985
- [c16]
- [c15]Ronald J. Brachman, Hector J. Levesque: The Knowledge Level of a KBMS. On Knowledge Base Management Systems (Islamorada) 1985: 9-12
- [c14]Hector J. Levesque, Ronald J. Brachman: Knowledge Level Interfaces to Information Systems. On Knowledge Base Management Systems (Islamorada) 1985: 13-34
- [c13]Hector J. Levesque: A View Of Knowledge Representation. On Knowledge Base Management Systems (Islamorada) 1985: 63-69
- [c12]Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. IJCAI 1985: 532-539
- 1984
- [j2]Hector J. Levesque: Foundations of a Functional Approach to Knowledge Representation. Artif. Intell. 23(2): 155-212 (1984)
- [c11]Ronald J. Brachman, Hector J. Levesque: The Tractability of Subsumption in Frame-Based Description Languages. AAAI 1984: 34-37
- [c10]
- [c9]Ronald J. Brachman, Hector J. Levesque: What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level. Expert Database Workshop 1984: 69-78
- 1983
- [j1]Ronald J. Brachman, Richard Fikes, Hector J. Levesque: Krypton: A Functional Approach to Knowledge Representation. IEEE Computer 16(10): 67-73 (1983)
- [c8]Ronald J. Brachman, Hector J. Levesque, Richard Fikes: KRYPTON: Integrating Terminology and Assertion. AAAI 1983: 31-35
- [c7]
- 1982
- [c6]
- [c5]John Mylopoulos, Hector J. Levesque: An Overview of Knowledge Representation. On Conceptual Modelling (Intervale) 1982: 3-17
- [c4]Hector J. Levesque: The Logic of Incomplete Knowledge Bases. On Conceptual Modelling (Intervale) 1982: 165-189
- 1981
- [c3]Hector J. Levesque: The Interaction with Incomplete Knowledge Bases: A Formal Treatment. IJCAI 1981: 240-245
- 1980
- [c2]Hector J. Levesque: Incompleteness in Knowledge Bases. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 150-152
1970 – 1979
- 1977
- [c1]Hector J. Levesque, John Mylopoulos: An Overview of a Procedural Approach to Semantic Networks. IJCAI 1977: 283
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-13 21:45 CET by the dblp team