Остановите войну!
for scientists:
default search action
Hector J. Levesque
Person information
- affiliation: University of Toronto, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2004
- [b3]Ronald J. Brachman, Hector J. Levesque:
Knowledge Representation and Reasoning. Elsevier 2004, ISBN 978-1-55860-932-7, pp. I-XXIX, 1-381 - 2000
- [b2]Hector J. Levesque, Gerhard Lakemeyer:
The logic of knowledge bases. MIT Press 2000, ISBN 978-0-262-12232-0, pp. I-XVIII, 1-282 - 1981
- [b1]Hector J. Levesque:
A formal treatment of incomplete knowledge bases. University of Toronto, Canada, 1981
Journal Articles
- 2020
- [j39]Vaishak Belle, Hector J. Levesque:
Regression and progression in stochastic domains. Artif. Intell. 281: 103247 (2020) - 2019
- [j38]James P. Delgrande, Hector J. Levesque:
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events. Stud Logica 107(5): 859-886 (2019) - 2018
- [j37]Vaishak Belle, Hector J. Levesque:
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Artif. Intell. 262: 189-221 (2018) - 2016
- [j36]Vaishak Belle, Hector J. Levesque:
A Logical Theory of Localization. Stud Logica 104(4): 741-772 (2016) - 2015
- [j35]Vaishak Belle, Hector J. Levesque:
Robot location estimation in the situation calculus. J. Appl. Log. 13(4): 397-413 (2015) - 2014
- [j34]Hector J. Levesque:
On our best behaviour. Artif. Intell. 212: 27-35 (2014) - 2013
- [j33]Stavros Vassos, Hector J. Levesque:
How to progress a database III. Artif. Intell. 195: 203-221 (2013) - 2011
- [j32]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) - [j31]Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque:
Iterated belief change in the situation calculus. Artif. Intell. 175(1): 165-192 (2011) - 2007
- [j30]Steven Shapiro, Yves Lespérance, Hector J. Levesque:
Goal Change in the Situation Calculus. J. Log. Comput. 17(5): 983-1018 (2007) - 2005
- [j29]Tom M. Mitchell, Hector J. Levesque:
The 2005 AAAI Classic Paper Awards. AI Mag. 26(4): 98-99 (2005) - 2004
- [j28]Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling:
Introduction. Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004) - [j27]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) - 2003
- [j26]Richard B. Scherl, Hector J. Levesque:
Knowledge, action, and the frame problem. Artif. Intell. 144(1-2): 1-39 (2003) - 2002
- [j25]Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque:
In Memory of Ray Reiter (1939-2002). AI Mag. 23(4): 93 (2002) - 2001
- [j24]Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña:
Incremental execution of guarded theories. ACM Trans. Comput. Log. 2(4): 495-525 (2001) - 2000
- [j23]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) - [j22]Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl:
Ability and Knowing How in the Situation Calculus. Stud Logica 66(1): 165-186 (2000) - 1999
- [j21]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) - 1998
- [j20]Fangzhen Lin, Hector J. Levesque:
What Robots Can Do: Robot Programs and Effective Achievability. Artif. Intell. 101(1-2): 201-226 (1998) - [j19]Hector J. Levesque, Fiora Pirri, Raymond Reiter:
Foundations for the Situation Calculus. Electron. Trans. Artif. Intell. 2: 159-178 (1998) - 1997
- [j18]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) - 1996
- [j17]Bart Selman, David G. Mitchell, Hector J. Levesque:
Generating Hard Satisfiability Problems. Artif. Intell. 81(1-2): 17-29 (1996) - [j16]David G. Mitchell, Hector J. Levesque:
Some Pitfalls for Experimenters with Random SAT. Artif. Intell. 81(1-2): 111-125 (1996) - [j15]Bart Selman, Hector J. Levesque:
Support Set Selection for Abductive and Default Reasoning. Artif. Intell. 82(1-2): 259-272 (1996) - [j14]Ronald J. Brachman, Hector J. Levesque:
Undirected Behavior Without Unbounded Search. ACM Comput. Surv. 28(4es): 1 (1996) - 1995
- [j13]Yves Lespérance, Hector J. Levesque:
Indexical Knowledge and Robot Action - A Logical Account. Artif. Intell. 73(1-2): 69-115 (1995) - [j12]Ronald J. Brachman, Hector J. Levesque:
Undirected Behaviour Without Unbounded Search. ACM Comput. Surv. 27(3): 314-316 (1995) - 1994
- [j11]Philip R. Cohen, Hector J. Levesque:
Preliminaries to a collaborative model of dialogue. Speech Communication 15(3-4): 265-274 (1994) - 1993
- [j10]Bart Selman, Hector J. Levesque:
The Complexity of Path-Based Defeasible Inheritance. Artif. Intell. 62(2): 303-339 (1993) - 1991
- [j9]Ronald J. Brachman, Hector J. Levesque, Raymond Reiter:
Introduction to the Special Volume on Knowledge Representation. Artif. Intell. 49(1-3): 1-3 (1991) - 1990
- [j8]Philip R. Cohen, Hector J. Levesque:
Intention is Choice with Commitment. Artif. Intell. 42(2-3): 213-261 (1990) - [j7]Hector J. Levesque:
All I Know: A Study in Autoepistemic Logic. Artif. Intell. 42(2-3): 263-309 (1990) - 1988
- [j6]Jim des Rivières, Hector J. Levesque:
The consistency of syntactical treatments of knowledge. Comput. Intell. 4: 31-41 (1988) - [j5]Hector J. Levesque:
Logic and the complexity of reasoning. J. Philos. Log. 17(4): 355-389 (1988) - 1987
- [j4]Hector J. Levesque, Ronald J. Brachman:
Expressiveness and tractability in knowledge representation and reasoning. Comput. Intell. 3: 78-93 (1987) - 1986
- [j3]Hector J. Levesque:
Making Believers out of Computers. Artif. Intell. 30(1): 81-108 (1986) - 1984
- [j2]Hector J. Levesque:
Foundations of a Functional Approach to Knowledge Representation. Artif. Intell. 23(2): 155-212 (1984) - 1983
- [j1]Ronald J. Brachman, Richard Fikes, Hector J. Levesque:
Krypton: A Functional Approach to Knowledge Representation. Computer 16(10): 67-73 (1983)
Conference and Workshop Papers
- 2022
- [c112]Ronald J. Brachman, Hector J. Levesque:
Toward a New Science of Common Sense. AAAI 2022: 12245-12249 - 2020
- [c111]Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque:
Changing Beliefs about Domain Dynamics in the Situation Calculus. KR 2020: 572-581 - [c110]Gerhard Lakemeyer, Hector J. Levesque:
A First-Order Logic of Limited Belief Based on Possible Worlds. KR 2020: 624-635 - 2019
- [c109]Gerhard Lakemeyer, Hector J. Levesque:
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. IJCAI 2019: 1764-1771 - 2018
- [c108]Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque:
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. KR 2018: 257-266 - 2017
- [c107]Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith:
Towards Representing What Readers of Fiction Believe. COMMONSENSE 2017 - 2016
- [c106]Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque:
A First-Order Logic of Probability and Only Knowing in Unbounded Domains. AAAI 2016: 893-899 - [c105]Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Logic of Limited Belief with Function Symbols. KR 2016: 288-297 - [c104]Vaishak Belle, Hector J. Levesque:
Foundations for Generalized Planning in Unbounded Stochastic Domains. KR 2016: 380-389 - 2015
- [c103]Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque:
Towards Tractable Inference for Resource-Bounded Agents. AAAI Spring Symposia 2015 - [c102]Vaishak Belle, Hector J. Levesque:
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. IJCAI 2015: 2762-2769 - [c101]Giuseppe De Giacomo, Hector J. Levesque:
Adding DL-Lite TBoxes to Proper Knowledge Bases. ISWC (1) 2015: 305-321 - 2014
- [c100]Vaishak Belle, Hector J. Levesque:
PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. AAAI 2014: 989-995 - [c99]Vaishak Belle, Hector J. Levesque:
A Logical Theory of Robot Localization. AAAI Spring Symposia 2014 - [c98]Vaishak Belle, Hector J. Levesque:
A logical theory of robot localization. AAMAS 2014: 349-356 - [c97]Vaishak Belle, Hector J. Levesque:
How to Progress Beliefs in Continuous Domains. KR 2014 - [c96]Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. KR 2014 - [c95]David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher:
Forgetting in Action. KR 2014 - 2013
- [c94]Vaishak Belle, Hector J. Levesque:
Reasoning about Continuous Uncertainty in the Situation Calculus. IJCAI 2013: 732-738 - [c93]James P. Delgrande, Hector J. Levesque:
A Formal Account of Nondeterministic and Failed Actions. IJCAI 2013: 861-868 - [c92]Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. IJCAI 2013: 969-975 - [c91]Vaishak Belle, Hector J. Levesque:
Reasoning about Probabilities in Dynamic Systems using Goal Regression. UAI 2013 - 2012
- [c90]Hector J. Levesque, Gerhard Lakemeyer:
The Truth about Defaults. Correct Reasoning 2012: 422-435 - [c89]James P. Delgrande, Hector J. Levesque:
Belief Revision with Sensing and Fallible Actions. KR 2012 - [c88]Gerhard Lakemeyer, Hector J. Levesque:
Only-Knowing Meets Nonmonotonic Modal Logic. KR 2012 - [c87]Hector J. Levesque, Ernest Davis, Leora Morgenstern:
The Winograd Schema Challenge. KR 2012 - 2011
- [c86]Hector J. Levesque:
The Winograd Schema Challenge. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c85]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI 2011: 827-832 - [c84]Yuxiao Hu, Hector J. Levesque:
A Correctness Result for Reasoning about One-Dimensional Planning Problems. IJCAI 2011: 2638-2643 - 2010
- [c83]Yuxiao Hu, Hector J. Levesque:
A Correctness Result for Reasoning about One-Dimensional Planning Problems. KR 2010 - 2009
- [c82]Gerhard Lakemeyer, Hector J. Levesque:
A Semantical Account of Progression in the Presence of Defaults. Conceptual Modeling: Foundations and Applications 2009: 82-98 - [c81]Gerhard Lakemeyer, Hector J. Levesque:
A Semantical Account of Progression in the Presence of Defaults. IJCAI 2009: 842-847 - [c80]Hector J. Levesque:
Is It Enough to Get the Behavior Right? IJCAI 2009: 1439-1444 - 2008
- [c79]Stavros Vassos, Hector J. Levesque:
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. AAAI 2008: 1004-1009 - [c78]Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque:
First-Order Strong Progression for Local-Effect Basic Action Theories. KR 2008: 662-672 - 2007
- [c77]Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance:
A Logical Theory of Coordination and Joint Ability. AAAI 2007: 421-426 - [c76]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 - [c75]Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance:
Towards a logical theory of coordination and joint ability. AAMAS 2007: 81 - [c74]Hector J. Levesque:
Some Further Thoughts on Expressiveness and Tractability. Description Logics 2007 - [c73]Stavros Vassos, Hector J. Levesque:
Progression of Situation Calculus Action Theories with Incomplete Information. IJCAI 2007: 2029-2024 - 2006
- [c72]Gerhard Lakemeyer, Hector J. Levesque:
Towards an Axiom System for Default Logic. AAAI 2006: 263-268 - [c71]Hector J. Levesque:
The Truth About Defaults. ECAI 2006: 5 - [c70]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
- [c69]Gerhard Lakemeyer, Hector J. Levesque:
Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI 2005: 633-638 - [c68]Yongmei Liu, Hector J. Levesque:
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. AAAI 2005: 639-644 - [c67]Gerhard Lakemeyer, Hector J. Levesque:
Semantics for a useful fragment of the situation calculus. IJCAI 2005: 490-496 - [c66]Hector J. Levesque:
Planning with Loops. IJCAI 2005: 509-515 - [c65]Yongmei Liu, Hector J. Levesque:
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. IJCAI 2005: 522-527 - [c64]Steven Shapiro, Yves Lespérance, Hector J. Levesque:
Goal Change. IJCAI 2005: 582-588 - 2004
- [c63]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 - [c62]Gerhard Lakemeyer, Hector J. Levesque:
Situations, Si! Situation Terms, No! KR 2004: 516-526 - [c61]Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque:
A Logic of Limited Belief for Reasoning with Disjunctive Information. KR 2004: 587-597 - 2003
- [c60]Yongmei Liu, Hector J. Levesque:
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI 2003: 83-88 - 2002
- [c59]Steven Shapiro, Yves Lespérance, Hector J. Levesque:
The cognitive agents specification language and verification environment for multiagent systems. AAMAS 2002: 19-26 - [c58]Ronald P. A. Petrick, Hector J. Levesque:
Knowledge Equivalence in Combined Action Theories. KR 2002: 303-314 - [c57]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 - 2000
- [c56]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 - [c55]Gerhard Lakemeyer, Hector J. Levesque:
Querying AOL Knowledge Bases. Intellectics and Computational Logic 2000: 225-244 - [c54]Koen V. Hindriks, Yves Lespérance, Hector J. Levesque:
An Embedding of ConGolog in 3APL. ECAI 2000: 558-562 - [c53]Sanjeev Kumar, Philip R. Cohen, Hector J. Levesque:
The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams. ICMAS 2000: 159-166 - [c52]Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque:
Iterated Belief Change in the Situation Calculus. KR 2000: 527-538 - 1999
- [c51]Gerhard Lakemeyer, Hector J. Levesque:
Query Evaluation and Progression in AOL Knowledge Bases. IJCAI 1999: 124-131 - [c50]Giuseppe De Giacomo, Hector J. Levesque:
Projection Using Regression and Sensors. IJCAI 1999: 160-165 - 1998
- [c49]Hector J. Levesque:
A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. KR 1998: 14-23 - [c48]Gerhard Lakemeyer, Hector J. Levesque:
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR 1998: 316-329 - [c47]Hector J. Levesque:
What Robots Can Do. KR 1998: 651 - 1997
- [c46]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 - [c45]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 - [c44]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 - [c43]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
- [c42]Hector J. Levesque:
What Is Planning in the Presence of Sensing? AAAI/IAAI, Vol. 2 1996: 1139-1146 - [c41]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
- [c40]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 - [c39]Philip R. Cohen, Hector J. Levesque:
Communicative Actions for Artificial Agents. ICMAS 1995: 65-72 - [c38]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940 - [c37]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
- [c36]Hector J. Levesque:
Knowledge, Action, and Ability in the Situation Calculus. TARK 1994: 1-4 - 1993
- [c35]Richard B. Scherl, Hector J. Levesque:
The Frame Problem and Knowledge-Producing Actions. AAAI 1993: 689-695 - 1992
- [c34]Bart Selman, Hector J. Levesque, David G. Mitchell:
A New Method for Solving Hard Satisfiability Problems. AAAI 1992: 440-446 - [c33]David G. Mitchell, Bart Selman, Hector J. Levesque:
Hard and Easy Distributions of SAT Problems. AAAI 1992: 459-465 - 1991
- [c32]Hector J. Levesque:
Belief and Introspection. Artificial and Mathematical Theory of Computation 1991: 247-260 - [c31]Philip R. Cohen, Hector J. Levesque:
Confirmations and Joint Action. IJCAI 1991: 951-959 - 1990
- [c30]Hector J. Levesque, Philip R. Cohen, José H. T. Nunes:
On Acting Together. AAAI 1990: 94-99 - [c29]Bart Selman, Hector J. Levesque:
Abductive and Default Reasoning: A Computational Core. AAAI 1990: 343-348 - [c28]Yves Lespérance, Hector J. Levesque:
Indexical Knowledge in Robot Plans. AAAI 1990: 1030-1037 - [c27]Philip R. Cohen, Hector J. Levesque:
Performatives in a Rationally Based Speech Act Theory. ACL 1990: 79-88 - 1989
- [c26]Hector J. Levesque:
A Knowledge-Level Account of Abduction. IJCAI 1989: 1061-1067 - [c25]Bart Selman, Hector J. Levesque:
The Tractability of Path-Based Inheritance. IJCAI 1989: 1140-1145 - 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
- [c21]Philip R. Cohen, Hector J. Levesque:
Intention = Choice + Commitment. AAAI 1987: 410-415 - [c20]Hector J. Levesque:
All I Know: An Abridged Report. AAAI 1987: 426-431 - 1986
- [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]Philip R. Cohen, Hector J. Levesque:
Speech Acts and Rationality. ACL 1985: 49-60 - [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
- [c11]Ronald J. Brachman, Hector J. Levesque:
The Tractability of Subsumption in Frame-Based Description Languages. AAAI 1984: 34-37 - [c10]Hector J. Levesque:
A Logic of Implicit and Explicit Belief. AAAI 1984: 198-202 - [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
- [c8]Ronald J. Brachman, Hector J. Levesque, Richard Fikes:
KRYPTON: Integrating Terminology and Assertion. AAAI 1983: 31-35 - [c7]John Mylopoulos, Hector J. Levesque:
An Overview of Knowledge Representation. GWAI 1983: 143-157 - 1982
- [c6]Ronald J. Brachman, Hector J. Levesque:
Competence in Knowledge Representation. AAAI 1982: 189-192 - [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 - 1977
- [c1]Hector J. Levesque, John Mylopoulos:
An Overview of a Procedural Approach to Semantic Networks. IJCAI 1977: 283
Parts in Books or Collections
- 2014
- [p3]Yongmei Liu, Hector J. Levesque:
Incorporating Action Models into the Situation Calculus. Johan van Benthem on Logic and Information Dynamics 2014: 569-590 - 2009
- [p2]Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña:
IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. Multi-Agent Programming, Languages, Tools and Applications 2009: 31-72 - 1991
- [p1]Bart Selman, Hector J. Levesque:
The Tractability of Path-Based Inheritance. Principles of Semantic Networks 1991: 283-297
Editorship
- 2010
- [e2]Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri:
Cognitive Robotics, 21.02. - 26.02.2010. Dagstuhl Seminar Proceedings 10081, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 1989
- [e1]Ronald J. Brachman, Hector J. Levesque, Raymond Reiter:
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 [contents]
Reference Works
- 2008
- [r1]Hector J. Levesque, Gerhard Lakemeyer:
Cognitive Robotics. Handbook of Knowledge Representation 2008: 869-886
Informal and Other Publications
- 2021
- [i7]Ronald J. Brachman, Hector J. Levesque:
Toward a New Science of Common Sense. CoRR abs/2112.12754 (2021) - 2018
- [i6]Vaishak Belle, Hector J. Levesque:
Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems. CoRR abs/1809.05314 (2018) - 2014
- [i5]Vaishak Belle, Hector J. Levesque:
Robot Location Estimation in the Situation Calculus. CoRR abs/1402.7276 (2014) - 2013
- [i4]Vaishak Belle, Hector J. Levesque:
Reasoning about Probabilities in Dynamic Systems using Goal Regression. CoRR abs/1309.6816 (2013) - 2010
- [i3]Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri:
10081 Abstracts Collection - Cognitive Robotics. Cognitive Robotics 2010 - [i2]Hector J. Levesque, Gerhard Lakemeyer:
Cognitive Robotics. Cognitive Robotics 2010 - 1998
- [i1]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors and Effectors in the Situation Calculus. CoRR cs.AI/9809013 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-11-29 23:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint