default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHector 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
showing all ?? records
2020 – today
- 2022
[c112]Ronald J. Brachman, Hector J. Levesque:
Toward a New Science of Common Sense. AAAI 2022: 12245-12249- 2021
- [i7]Ronald J. Brachman, Hector J. Levesque:
Toward a New Science of Common Sense. CoRR abs/2112.12754 (2021) - 2020
- [j39]Vaishak Belle, Hector J. Levesque:
Regression and progression in stochastic domains. Artif. Intell. 281: 103247 (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
2010 – 2019
- 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) - [c109]Gerhard Lakemeyer, Hector J. Levesque:
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. IJCAI 2019: 1764-1771 - 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) - [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 - [i6]Vaishak Belle, Hector J. Levesque:
Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems. CoRR abs/1809.05314 (2018) - 2017
- [c107]Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith:
Towards Representing What Readers of Fiction Believe. COMMONSENSE 2017 - 2016
- [j36]Vaishak Belle, Hector J. Levesque:
A Logical Theory of Localization. Stud Logica 104(4): 741-772 (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
- [j35]Vaishak Belle, Hector J. Levesque:
Robot location estimation in the situation calculus. J. Appl. Log. 13(4): 397-413 (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
- [j34]Hector J. Levesque:
On our best behaviour. Artif. Intell. 212: 27-35 (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 - [p3]Yongmei Liu, Hector J. Levesque:
Incorporating Action Models into the Situation Calculus. Johan van Benthem on Logic and Information Dynamics 2014: 569-590 - [i5]Vaishak Belle, Hector J. Levesque:
Robot Location Estimation in the Situation Calculus. CoRR abs/1402.7276 (2014) - 2013
- [j33]Stavros Vassos, Hector J. Levesque:
How to progress a database III. Artif. Intell. 195: 203-221 (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 - [i4]Vaishak Belle, Hector J. Levesque:
Reasoning about Probabilities in Dynamic Systems using Goal Regression. CoRR abs/1309.6816 (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
- [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) - [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 - [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] - [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
2000 – 2009
- 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 - [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 - 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 - [r1]Hector J. Levesque, Gerhard Lakemeyer:
Cognitive Robotics. Handbook of Knowledge Representation 2008: 869-886 - 2007
- [j30]Steven Shapiro, Yves Lespérance, Hector J. Levesque:
Goal Change in the Situation Calculus. J. Log. Comput. 17(5): 983-1018 (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
- [j29]Tom M. Mitchell, Hector J. Levesque:
The 2005 AAAI Classic Paper Awards. AI Mag. 26(4): 98-99 (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
- [b3]Ronald J. Brachman, Hector J. Levesque:
Knowledge Representation and Reasoning. Elsevier 2004, ISBN 978-1-55860-932-7, pp. I-XXIX, 1-381 - [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) - [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
- [j26]Richard B. Scherl, Hector J. Levesque:
Knowledge, action, and the frame problem. Artif. Intell. 144(1-2): 1-39 (2003) - [c60]Yongmei Liu, Hector J. Levesque:
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI 2003: 83-88 - 2002
- [j25]Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque:
In Memory of Ray Reiter (1939-2002). AI Mag. 23(4): 93 (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 - 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
- [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 - [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) - [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
1990 – 1999
- 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) - [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
- [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) - [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 - [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
- [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) - [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
- [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) - [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
- [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) - [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
- [j11]Philip R. Cohen, Hector J. Levesque:
Preliminaries to a collaborative model of dialogue. Speech Communication 15(3-4): 265-274 (1994) - [c36]Hector J. Levesque:
Knowledge, Action, and Ability in the Situation Calculus. TARK 1994: 1-4 - 1993
- [j10]Bart Selman, Hector J. Levesque:
The Complexity of Path-Based Defeasible Inheritance. Artif. Intell. 62(2): 303-339 (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
- [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) - [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 - [p1]Bart Selman, Hector J. Levesque:
The Tractability of Path-Based Inheritance. Principles of Semantic Networks 1991: 283-297 - 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) - [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
1980 – 1989
- 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 - [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] - 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) - [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. Comput. Intell. 3: 78-93 (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
- [j3]Hector J. Levesque:
Making Believers out of Computers. Artif. Intell. 30(1): 81-108 (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
- [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]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
- [j1]Ronald J. Brachman, Richard Fikes, Hector J. Levesque:
Krypton: A Functional Approach to Knowledge Representation. 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]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
- [b1]Hector J. Levesque:
A formal treatment of incomplete knowledge bases. University of Toronto, Canada, 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
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 2024-05-02 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
