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]