Hector J. Levesque

According to our database1, Hector J. Levesque authored at least 155 papers between 1977 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems.
CoRR, 2018

Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems.
Artif. Intell., 2018

Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017
Towards Representing What Readers of Fiction Believe.
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

2016
A Logical Theory of Localization.
Studia Logica, 2016

Decidable Reasoning in a Logic of Limited Belief with Function Symbols.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Foundations for Generalized Planning in Unbounded Stochastic Domains.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

A First-Order Logic of Probability and Only Knowing in Unbounded Domains.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Robot location estimation in the situation calculus.
J. Applied Logic, 2015

Adding DL-Lite TBoxes to Proper Knowledge Bases.
Proceedings of the Semantic Web - ISWC 2015, 2015

ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Towards Tractable Inference for Resource-Bounded Agents.
Proceedings of the 2015 AAAI Spring Symposia, 2015

2014
Robot Location Estimation in the Situation Calculus.
CoRR, 2014

On our best behaviour.
Artif. Intell., 2014

Forgetting in Action.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Decidable Reasoning in a Fragment of the Epistemic Situation Calculus.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

How to Progress Beliefs in Continuous Domains.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A logical theory of robot localization.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

A Logical Theory of Robot Localization.
Proceedings of the 2014 AAAI Spring Symposia, 2014

PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Incorporating Action Models into the Situation Calculus.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
Reasoning about Probabilities in Dynamic Systems using Goal Regression.
CoRR, 2013

How to progress a database III.
Artif. Intell., 2013

Reasoning about Probabilities in Dynamic Systems using Goal Regression.
Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, 2013

Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals.
Proceedings of the IJCAI 2013, 2013

A Formal Account of Nondeterministic and Failed Actions.
Proceedings of the IJCAI 2013, 2013

Reasoning about Continuous Uncertainty in the Situation Calculus.
Proceedings of the IJCAI 2013, 2013

2012
The Winograd Schema Challenge.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Only-Knowing Meets Nonmonotonic Modal Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Belief Revision with Sensing and Fallible Actions.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

The Truth about Defaults.
Proceedings of the Correct Reasoning, 2012

2011
Iterated belief change in the situation calculus.
Artif. Intell., 2011

A semantic characterization of a useful fragment of the situation calculus with knowledge.
Artif. Intell., 2011

A Correctness Result for Reasoning about One-Dimensional Planning Problems.
Proceedings of the IJCAI 2011, 2011

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals.
Proceedings of the IJCAI 2011, 2011

The Winograd Schema Challenge.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
A Correctness Result for Reasoning about One-Dimensional Planning Problems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Cognitive Robotics.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

10081 Abstracts Collection - Cognitive Robotics.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

2009
Is It Enough to Get the Behavior Right?
Proceedings of the IJCAI 2009, 2009

A Semantical Account of Progression in the Presence of Defaults.
Proceedings of the IJCAI 2009, 2009

A Semantical Account of Progression in the Presence of Defaults.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents.
Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008
Cognitive Robotics.
Proceedings of the Handbook of Knowledge Representation, 2008

First-Order Strong Progression for Local-Effect Basic Action Theories.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Goal Change in the Situation Calculus.
J. Log. Comput., 2007

Progression of Situation Calculus Action Theories with Incomplete Information.
Proceedings of the IJCAI 2007, 2007

Some Further Thoughts on Expressiveness and Tractability.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Towards a logical theory of coordination and joint ability.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A Logical Theory of Coordination and Joint Ability.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

A Logical Theory of Coordination and Joint Ability.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
On the Limits of Planning over Belief States under Strict Uncertainty.
Proceedings of the Proceedings, 2006

The Truth About Defaults.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Towards an Axiom System for Default Logic.
Proceedings of the Proceedings, 2006

2005
The 2005 AAAI Classic Paper Awards.
AI Magazine, 2005

Goal Change.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Planning with Loops.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Semantics for a useful fragment of the situation calculus.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information.
Proceedings of the Proceedings, 2005

Only-Knowing: Taking It Beyond Autoepistemic Reasoning.
Proceedings of the Proceedings, 2005

2004
On the Semantics of Deliberation in Indigolog - from Theory to Implementation.
Ann. Math. Artif. Intell., 2004

Introduction.
Ann. Math. Artif. Intell., 2004

A Logic of Limited Belief for Reasoning with Disjunctive Information.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Situations, Si! Situation Terms, No!
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

On Ability to Autonomously Execute Agent Programs with Sensing.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Knowledge Representation and Reasoning.
Elsevier, ISBN: 978-1-55860-932-7, 2004

2003
Knowledge, action, and the frame problem.
Artif. Intell., 2003

A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases.
Proceedings of the IJCAI-03, 2003

2002
In Memory of Ray Reiter (1939-2002).
AI Magazine, 2002

Knowledge Equivalence in Combined Action Theories.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

On the Semantics of Deliberation in IndiGolog: From Theory to Implementation.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

The cognitive agents specification language and verification environment for multiagent systems.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Incremental execution of guarded theories.
ACM Trans. Comput. Log., 2001

2000
Ability and Knowing How in the Situation Calculus.
Studia Logica, 2000

ConGolog, a concurrent programming language based on the situation calculus.
Artif. Intell., 2000

Iterated Belief Change in the Situation Calculus.
Proceedings of the KR 2000, 2000

The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

An Embedding of ConGolog in 3APL.
Proceedings of the ECAI 2000, 2000

Querying AOL Knowledge Bases.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Semantics of Agent Communication Languages for Group Interaction.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

The logic of knowledge bases.
MIT Press, ISBN: 978-0-262-12232-0, 2000

1999
Reasoning about Noisy Sensors and Effectors in the Situation Calculus.
Artif. Intell., 1999

Query Evaluation and Progression in AOL Knowledge Bases.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Projection Using Regression and Sensors.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Foundations for the Situation Calculus.
Electron. Trans. Artif. Intell., 1998

Reasoning about Noisy Sensors and Effectors in the Situation Calculus
CoRR, 1998

What Robots Can Do: Robot Programs and Effective Achievability.
Artif. Intell., 1998

What Robots Can Do.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997
GOLOG: A Logic Programming Language for Dynamic Domains.
J. Log. Program., 1997

Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Controlling Autonomous Robots with GOLOG.
Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Specifying Communicative Multi-Agent Systems (Invited Paper).
Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract).
Proceedings of the First International Conference on Autonomous Agents, 1997

1996
Undirected Behavior Without Unbounded Search.
ACM Comput. Surv., 1996

Generating Hard Satisfiability Problems.
Artif. Intell., 1996

Support Set Selection for Abductive and Default Reasoning.
Artif. Intell., 1996

Some Pitfalls for Experimenters with Random SAT.
Artif. Intell., 1996

An Experiment in Using Golog to Build a Personal Banking Assistant.
Proceedings of the Intelligent Agent Systems, 1996

What Is Planning in the Presence of Sensing?
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Undirected Behaviour Without Unbounded Search.
ACM Comput. Surv., 1995

Indexical Knowledge and Robot Action - A Logical Account.
Artif. Intell., 1995

Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus.
Proceedings of the Reasoning with Uncertainty in Robotics, International Workshop, 1995

Reasoning about Noisy Sensors in the Situation Calculus.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Communicative Actions for Artificial Agents.
Proceedings of the First International Conference on Multiagent Systems, 1995

Foundations of a Logical Approach to Agent Programming.
Proceedings of the Intelligent Agents II, 1995

1994
Preliminaries to a collaborative model of dialogue.
Speech Communication, 1994

Knowledge, Action, and Ability in the Situation Calculus.
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

1993
The Complexity of Path-Based Defeasible Inheritance.
Artif. Intell., 1993

The Frame Problem and Knowledge-Producing Actions.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
A New Method for Solving Hard Satisfiability Problems.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

Hard and Easy Distributions of SAT Problems.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
Introduction to the Special Volume on Knowledge Representation.
Artif. Intell., 1991

Confirmations and Joint Action.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990
All I Know: A Study in Autoepistemic Logic.
Artif. Intell., 1990

Intention is Choice with Commitment.
Artif. Intell., 1990

Performatives in a Rationally Based Speech Act Theory.
Proceedings of the 28th Annual Meeting of the Association for Computational Linguistics, 1990

Abductive and Default Reasoning: A Computational Core.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

On Acting Together.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

Indexical Knowledge in Robot Plans.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989
The Tractability of Path-Based Inheritance.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

A Knowledge-Level Account of Abduction.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988
Logic and the complexity of reasoning.
J. Philosophical Logic, 1988

The consistency of syntactical treatments of knowledge.
Computational Intelligence, 1988


Comments on "Knowledge, Representation, and Rational Self-Government".
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

A Tractable Knowledge Representation Service with Full Introspection.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

1987
Expressiveness and tractability in knowledge representation and reasoning.
Computational Intelligence, 1987

All I Know: An Abridged Report.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

Intention = Choice + Commitment.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Making Believers out of Computers.
Artif. Intell., 1986

Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?
TARK, 1986

The Consistency of Syntactical Treatments of Knowledge.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

Tales from the Far Side of KRYPTON.
Expert Database Conf., 1986

1985
An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Knowledge Level Interfaces to Information Systems.
On Knowledge Base Management Systems (Islamorada), 1985

A View Of Knowledge Representation.
On Knowledge Base Management Systems (Islamorada), 1985

The Knowledge Level of a KBMS.
On Knowledge Base Management Systems (Islamorada), 1985

Speech Acts and Rationality.
Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics, 1985

1984
Foundations of a Functional Approach to Knowledge Representation.
Artif. Intell., 1984

What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level.
Expert Database Workshop, 1984

A Logic of Implicit and Explicit Belief.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

The Tractability of Subsumption in Frame-Based Description Languages.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983
Krypton: A Functional Approach to Knowledge Representation.
IEEE Computer, 1983

An Overview of Knowledge Representation.
Proceedings of the GWAI-83, 1983

KRYPTON: Integrating Terminology and Assertion.
Proceedings of the National Conference on Artificial Intelligence, 1983

1982
An Overview of Knowledge Representation.
On Conceptual Modelling (Intervale), 1982

The Logic of Incomplete Knowledge Bases.
On Conceptual Modelling (Intervale), 1982

Competence in Knowledge Representation.
Proceedings of the National Conference on Artificial Intelligence, 1982

1981
The Interaction with Incomplete Knowledge Bases: A Formal Treatment.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980
Incompleteness in Knowledge Bases.
Proceedings of the Workshop on Data Abstraction, 1980

1977
An Overview of a Procedural Approach to Semantic Networks.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977


  Loading...