| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
A semantic characterization of a useful fragment of the situation calculus with knowledge.  |
Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque |
Iterated belief change in the situation calculus. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuxiao Hu, Hector J. Levesque |
A Correctness Result for Reasoning about One-Dimensional Planning Problems. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
The Winograd Schema Challenge. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yuxiao Hu, Hector J. Levesque |
A Correctness Result for Reasoning about One-Dimensional Planning Problems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
A Semantical Account of Progression in the Presence of Defaults. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
Is It Enough to Get the Behavior Right? |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
A Semantical Account of Progression in the Presence of Defaults. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque |
First-Order Strong Progression for Local-Effect Basic Action Theories. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stavros Vassos, Hector J. Levesque |
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
Goal Change in the Situation Calculus. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Vassos, Hector J. Levesque |
Progression of Situation Calculus Action Theories with Incomplete Information. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
Some Further Thoughts on Expressiveness and Tractability. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance |
Towards a logical theory of coordination and joint ability. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance |
A Logical Theory of Coordination and Joint Ability. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
The Truth About Defaults. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Towards an Axiom System for Default Logic. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tom M. Mitchell, Hector J. Levesque |
The 2005 AAAI Classic Paper Awards. |
AI Magazine |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
Planning with Loops. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
Goal Change. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yongmei Liu, Hector J. Levesque |
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Semantics for a useful fragment of the situation calculus. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yongmei Liu, Hector J. Levesque |
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Only-Knowing: Taking It Beyond Autoepistemic Reasoning. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling |
Introduction. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
models of agency, planning with, incomplete information, deliberation, agent programming |
| 1 | Ronald J. Brachman, Hector J. Levesque |
Knowledge Representation and Reasoning. |
|
2004 |
RDF |
|
| 1 | Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque |
A Logic of Limited Belief for Reasoning with Disjunctive Information. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Situations, Si! Situation Terms, No! |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
On Ability to Autonomously Execute Agent Programs with Sensing. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard B. Scherl, Hector J. Levesque |
Knowledge, action, and the frame problem. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongmei Liu, Hector J. Levesque |
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque |
In Memory of Ray Reiter (1939-2002). |
AI Magazine |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ronald P. A. Petrick, Hector J. Levesque |
Knowledge Equivalence in Combined Action Theories. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
The cognitive agents specification language and verification environment for multiagent systems. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
agent specification languages, theorem proving, proof assistants, verification tools |
| 1 | Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña |
Incremental execution of guarded theories. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
agent behavior, situation calculus, reasoning about actions |
| 1 | Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl |
Ability and Knowing How in the Situation Calculus. |
Studia Logica |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
ConGolog, a concurrent programming language based on the situation calculus. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector J. Levesque, Gerhard Lakemeyer |
The logic of knowledge bases. |
|
2000 |
RDF |
|
| 1 | Koen V. Hindriks, Yves Lespérance, Hector J. Levesque |
An Embedding of ConGolog in 3APL. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Querying AOL Knowledge Bases. |
Intellectics and Computational Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque |
Iterated Belief Change in the Situation Calculus. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sanjeev Kumar, Philip R. Cohen, Hector J. Levesque |
The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque |
Semantics of Agent Communication Languages for Group Interaction. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors and Effectors in the Situation Calculus. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
Query Evaluation and Progression in AOL Knowledge Bases. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Hector J. Levesque |
Projection Using Regression and Sensors. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque, Fiora Pirri, Raymond Reiter |
Foundations for the Situation Calculus. |
Electron. Trans. Artif. Intell. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors and Effectors in the Situation Calculus |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Hector J. Levesque |
What Robots Can Do: Robot Programs and Effective Achievability. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector J. Levesque |
A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
What Robots Can Do. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl |
GOLOG: A Logic Programming Language for Dynamic Domains. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Lespérance, Hector J. Levesque, Shane J. Ruman |
An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). |
Agents |
1997 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Selman, Hector J. Levesque |
Support Set Selection for Abductive and Default Reasoning. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David G. Mitchell, Hector J. Levesque |
Some Pitfalls for Experimenters with Random SAT. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Selman, David G. Mitchell, Hector J. Levesque |
Generating Hard Satisfiability Problems. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald J. Brachman, Hector J. Levesque |
Undirected Behavior Without Unbounded Search. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector J. Levesque |
What Is Planning in the Presence of Sensing? |
AAAI/IAAI, Vol. 2 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Yves Lespérance, Hector J. Levesque |
Indexical Knowledge and Robot Action - A Logical Account. |
Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald J. Brachman, Hector J. Levesque |
Undirected Behaviour Without Unbounded Search. |
ACM Comput. Surv. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors in the Situation Calculus. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Philip R. Cohen, Hector J. Levesque |
Communicative Actions for Artificial Agents. |
ICMAS |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. |
Reasoning with Uncertainty in Robotics |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip R. Cohen, Hector J. Levesque |
Preliminaries to a collaborative model of dialogue. |
Speech Communication |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector J. Levesque |
Knowledge, Action, and Ability in the Situation Calculus. |
TARK |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Hector J. Levesque |
The Complexity of Path-Based Defeasible Inheritance. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard B. Scherl, Hector J. Levesque |
The Frame Problem and Knowledge-Producing Actions. |
AAAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Hector J. Levesque, David G. Mitchell |
A New Method for Solving Hard Satisfiability Problems. |
AAAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | David G. Mitchell, Bart Selman, Hector J. Levesque |
Hard and Easy Distributions of SAT Problems. |
AAAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ronald J. Brachman, Hector J. Levesque, Raymond Reiter |
Introduction to the Special Volume on Knowledge Representation. |
Artif. Intell. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip R. Cohen, Hector J. Levesque |
Confirmations and Joint Action. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
All I Know: A Study in Autoepistemic Logic. |
Artif. Intell. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip R. Cohen, Hector J. Levesque |
Intention is Choice with Commitment. |
Artif. Intell. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip R. Cohen, Hector J. Levesque |
Performatives in a Rationally Based Speech Act Theory. |
ACL |
1990 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque, Philip R. Cohen, José H. T. Nunes |
On Acting Together. |
AAAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Hector J. Levesque |
Abductive and Default Reasoning: A Computational Core. |
AAAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Yves Lespérance, Hector J. Levesque |
Indexical Knowledge in Robot Plans. |
AAAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
A Knowledge-Level Account of Abduction. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Bart Selman, Hector J. Levesque |
The Tractability of Path-Based Inheritance. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Ronald J. Brachman, Hector J. Levesque, Raymond Reiter (eds.) |
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989. |
KR |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jim des Rivières, Hector J. Levesque |
The consistency of syntactical treatments of knowledge. |
Computational Intelligence |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Lakemeyer, Hector J. Levesque |
A Tractable Knowledge Representation Service with Full Introspection. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore |
Panel: Locality vs. Rationality. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
Comments on "Knowledge, Representation, and Rational Self-Government". |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque, Ronald J. Brachman |
Expressiveness and tractability in knowledge representation and reasoning. |
Computational Intelligence |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip R. Cohen, Hector J. Levesque |
Intention = Choice + Commitment. |
AAAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
All I Know: An Abridged Report. |
AAAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Hector J. Levesque |
Making Believers out of Computers. |
Artif. Intell. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald J. Brachman, Hector J. Levesque |
Tales from the Far Side of KRYPTON. |
Expert Database Conf. |
1986 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")