Hector J. Levesque

Publication Activity (10 Years)

Years Active: 1977-2022
Publications (10 Years): 19

Top Venues

IJCAI

CoRR

Artif. Intell.

Publications

Ronald J. Brachman, Hector J. Levesque
Toward a New Science of Common Sense. AAAI (2022)
Ronald J. Brachman, Hector J. Levesque
Toward a New Science of Common Sense. CoRR (2021)
Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
Changing Beliefs about Domain Dynamics in the Situation Calculus. KR (2020)
Vaishak Belle, Hector J. Levesque
Regression and progression in stochastic domains. Artif. Intell. 281 (2020)
Gerhard Lakemeyer, Hector J. Levesque
A First-Order Logic of Limited Belief Based on Possible Worlds. KR (2020)
James P. Delgrande, Hector J. Levesque
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events. Stud Logica 107 (5) (2019)
Gerhard Lakemeyer, Hector J. Levesque
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. IJCAI (2019)
Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. KR (2018)
Vaishak Belle, Hector J. Levesque
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Artif. Intell. 262 (2018)
Vaishak Belle, Hector J. Levesque
Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems. CoRR (2018)
Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith
Towards Representing What Readers of Fiction Believe. COMMONSENSE (2017)
Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque
A First-Order Logic of Probability and Only Knowing in Unbounded Domains. AAAI (2016)
Vaishak Belle, Hector J. Levesque
A Logical Theory of Localization. Stud Logica 104 (4) (2016)
Vaishak Belle, Hector J. Levesque
Foundations for Generalized Planning in Unbounded Stochastic Domains. KR (2016)
Gerhard Lakemeyer, Hector J. Levesque
Decidable Reasoning in a Logic of Limited Belief with Function Symbols. KR (2016)
Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
Towards Tractable Inference for Resource-Bounded Agents. AAAI Spring Symposia (2015)
Vaishak Belle, Hector J. Levesque
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. IJCAI (2015)
Giuseppe De Giacomo, Hector J. Levesque
Adding DL-Lite TBoxes to Proper Knowledge Bases. ISWC (1) (2015)
Vaishak Belle, Hector J. Levesque
Robot location estimation in the situation calculus. J. Appl. Log. 13 (4) (2015)
Hector J. Levesque
On our best behaviour. Artif. Intell. 212 (2014)
Vaishak Belle, Hector J. Levesque
PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. AAAI (2014)
Gerhard Lakemeyer, Hector J. Levesque
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. KR (2014)
Vaishak Belle, Hector J. Levesque
A logical theory of robot localization. AAMAS (2014)
Vaishak Belle, Hector J. Levesque
A Logical Theory of Robot Localization. AAAI Spring Symposia (2014)
David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher
Forgetting in Action. KR (2014)
Vaishak Belle, Hector J. Levesque
How to Progress Beliefs in Continuous Domains. KR (2014)
Vaishak Belle, Hector J. Levesque
Robot Location Estimation in the Situation Calculus. CoRR (2014)
James P. Delgrande, Hector J. Levesque
A Formal Account of Nondeterministic and Failed Actions. IJCAI (2013)
Stavros Vassos, Hector J. Levesque
How to progress a database III. Artif. Intell. 195 (2013)
Vaishak Belle, Hector J. Levesque
Reasoning about Probabilities in Dynamic Systems using Goal Regression. CoRR (2013)
Vaishak Belle, Hector J. Levesque
Reasoning about Probabilities in Dynamic Systems using Goal Regression. UAI (2013)
Gerhard Lakemeyer, Hector J. Levesque
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. IJCAI (2013)
Vaishak Belle, Hector J. Levesque
Reasoning about Continuous Uncertainty in the Situation Calculus. IJCAI (2013)
Hector J. Levesque, Ernest Davis, Leora Morgenstern
The Winograd Schema Challenge. KR (2012)
Hector J. Levesque, Gerhard Lakemeyer
The Truth about Defaults. Correct Reasoning (2012)
James P. Delgrande, Hector J. Levesque
Belief Revision with Sensing and Fallible Actions. KR (2012)
Gerhard Lakemeyer, Hector J. Levesque
Only-Knowing Meets Nonmonotonic Modal Logic. KR (2012)
Yuxiao Hu, Hector J. Levesque
A Correctness Result for Reasoning about One-Dimensional Planning Problems. IJCAI (2011)
Gerhard Lakemeyer, Hector J. Levesque
A semantic characterization of a useful fragment of the situation calculus with knowledge. Artif. Intell. 175 (1) (2011)
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI (2011)
Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
Iterated belief change in the situation calculus. Artif. Intell. 175 (1) (2011)
Hector J. Levesque
The Winograd Schema Challenge. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri
10081 Abstracts Collection - Cognitive Robotics. Cognitive Robotics (2010)
Yuxiao Hu, Hector J. Levesque
A Correctness Result for Reasoning about One-Dimensional Planning Problems. KR (2010)
Hector J. Levesque, Gerhard Lakemeyer
Cognitive Robotics. Cognitive Robotics (2010)
Gerhard Lakemeyer, Hector J. Levesque
A Semantical Account of Progression in the Presence of Defaults. Conceptual Modeling: Foundations and Applications (2009)
Hector J. Levesque
Is It Enough to Get the Behavior Right? IJCAI (2009)
Gerhard Lakemeyer, Hector J. Levesque
A Semantical Account of Progression in the Presence of Defaults. IJCAI (2009)
Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque
First-Order Strong Progression for Local-Effect Basic Action Theories. KR (2008)
Stavros Vassos, Hector J. Levesque
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. AAAI (2008)
Steven Shapiro, Yves Lespérance, Hector J. Levesque
Goal Change in the Situation Calculus. J. Log. Comput. 17 (5) (2007)
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)
Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
A Logical Theory of Coordination and Joint Ability. AAAI (2007)
Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
Towards a logical theory of coordination and joint ability. AAMAS (2007)
Hector J. Levesque
Some Further Thoughts on Expressiveness and Tractability. Description Logics (2007)
Stavros Vassos, Hector J. Levesque
Progression of Situation Calculus Action Theories with Incomplete Information. IJCAI (2007)
Gerhard Lakemeyer, Hector J. Levesque
Towards an Axiom System for Default Logic. AAAI (2006)
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)
Hector J. Levesque
The Truth About Defaults. ECAI (2006)
Tom M. Mitchell, Hector J. Levesque
The 2005 AAAI Classic Paper Awards. AI Mag. 26 (4) (2005)
Gerhard Lakemeyer, Hector J. Levesque
Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI (2005)
Gerhard Lakemeyer, Hector J. Levesque
Semantics for a useful fragment of the situation calculus. IJCAI (2005)
Yongmei Liu, Hector J. Levesque
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. AAAI (2005)
Steven Shapiro, Yves Lespérance, Hector J. Levesque
Goal Change. IJCAI (2005)
Hector J. Levesque
Planning with Loops. IJCAI (2005)
Yongmei Liu, Hector J. Levesque
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. IJCAI (2005)
Gerhard Lakemeyer, Hector J. Levesque
Situations, Si! Situation Terms, No! KR (2004)
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
A Logic of Limited Belief for Reasoning with Disjunctive Information. KR (2004)
Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling
Introduction. Ann. Math. Artif. Intell. 41 (2-4) (2004)
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS (2004)
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) (2004)
Yongmei Liu, Hector J. Levesque
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI (2003)
Richard B. Scherl, Hector J. Levesque
Knowledge, action, and the frame problem. Artif. Intell. 144 (1-2) (2003)
Steven Shapiro, Yves Lespérance, Hector J. Levesque
The cognitive agents specification language and verification environment for multiagent systems. AAMAS (2002)
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)
Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque
In Memory of Ray Reiter (1939-2002). AI Mag. 23 (4) (2002)
Ronald P. A. Petrick, Hector J. Levesque
Knowledge Equivalence in Combined Action Theories. KR (2002)
Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña
Incremental execution of guarded theories. ACM Trans. Comput. Log. 2 (4) (2001)
Sanjeev Kumar, Philip R. Cohen, Hector J. Levesque
The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams. ICMAS (2000)
Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
Iterated Belief Change in the Situation Calculus. KR (2000)
Gerhard Lakemeyer, Hector J. Levesque
Querying AOL Knowledge Bases. Intellectics and Computational Logic (2000)
Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque
Semantics of Agent Communication Languages for Group Interaction. AAAI/IAAI (2000)
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl
Ability and Knowing How in the Situation Calculus. Stud Logica 66 (1) (2000)
Koen V. Hindriks, Yves Lespérance, Hector J. Levesque
An Embedding of ConGolog in 3APL. ECAI (2000)
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121 (1-2) (2000)
Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artif. Intell. 111 (1-2) (1999)
Gerhard Lakemeyer, Hector J. Levesque
Query Evaluation and Progression in AOL Knowledge Bases. IJCAI (1999)
Giuseppe De Giacomo, Hector J. Levesque
Projection Using Regression and Sensors. IJCAI (1999)
Hector J. Levesque, Fiora Pirri, Raymond Reiter
Foundations for the Situation Calculus. Electron. Trans. Artif. Intell. 2 (1998)
Hector J. Levesque
What Robots Can Do. KR (1998)
Gerhard Lakemeyer, Hector J. Levesque
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR (1998)
Hector J. Levesque
A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. KR (1998)
Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
Reasoning about Noisy Sensors and Effectors in the Situation Calculus CoRR (1998)
Fangzhen Lin, Hector J. Levesque
What Robots Can Do: Robot Programs and Effective Achievability. Artif. Intell. 101 (1-2) (1998)
Yves Lespérance, Hector J. Levesque, Shane J. Ruman
An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). Agents (1997)
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) (1997)
Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin
. Australian Joint Conference on Artificial Intelligence (1997)
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI (1997)
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)
Bart Selman, David G. Mitchell, Hector J. Levesque
Generating Hard Satisfiability Problems. Artif. Intell. 81 (1-2) (1996)

Hector J. Levesque.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hector J. Levesque