| 2008 |
|---|
| 106 | | Stavros Vassos,
Hector J. Levesque:
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.
AAAI 2008: 1004-1009 |
| 105 | | Stavros Vassos,
Gerhard Lakemeyer,
Hector J. Levesque:
First-Order Strong Progression for Local-Effect Basic Action Theories.
KR 2008: 662-672 |
| 2007 |
|---|
| 104 | | Hojjat Ghaderi,
Hector J. Levesque,
Yves Lespérance:
A Logical Theory of Coordination and Joint Ability.
AAAI 2007: 421-426 |
| 103 | EE | Hojjat Ghaderi,
Hector J. Levesque,
Yves Lespérance:
Towards a logical theory of coordination and joint ability.
AAMAS 2007: 81 |
| 102 | EE | Hector J. Levesque:
Some Further Thoughts on Expressiveness and Tractability.
Description Logics 2007 |
| 101 | EE | Stavros Vassos,
Hector J. Levesque:
Progression of Situation Calculus Action Theories with Incomplete Information.
IJCAI 2007: 2029-2024 |
| 100 | EE | Steven Shapiro,
Yves Lespérance,
Hector J. Levesque:
Goal Change in the Situation Calculus.
J. Log. Comput. 17(5): 983-1018 (2007) |
| 2006 |
|---|
| 99 | | Gerhard Lakemeyer,
Hector J. Levesque:
Towards an Axiom System for Default Logic.
AAAI 2006 |
| 98 | | Hector J. Levesque:
The Truth About Defaults.
ECAI 2006: 5 |
| 97 | | 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 |
|---|
| 96 | | Gerhard Lakemeyer,
Hector J. Levesque:
Only-Knowing: Taking It Beyond Autoepistemic Reasoning.
AAAI 2005: 633-638 |
| 95 | | Yongmei Liu,
Hector J. Levesque:
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information.
AAAI 2005: 639-644 |
| 94 | EE | Gerhard Lakemeyer,
Hector J. Levesque:
Semantics for a useful fragment of the situation calculus.
IJCAI 2005: 490-496 |
| 93 | EE | Hector J. Levesque:
Planning with Loops.
IJCAI 2005: 509-515 |
| 92 | EE | Yongmei Liu,
Hector J. Levesque:
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions.
IJCAI 2005: 522-527 |
| 91 | EE | Steven Shapiro,
Yves Lespérance,
Hector J. Levesque:
Goal Change.
IJCAI 2005: 582-588 |
| 90 | | Tom M. Mitchell,
Hector J. Levesque:
The 2005 AAAI Classic Paper Awards.
AI Magazine 26(4): 98-99 (2005) |
| 2004 |
|---|
| 89 | EE | 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 |
| 88 | | Gerhard Lakemeyer,
Hector J. Levesque:
Situations, Si! Situation Terms, No!
KR 2004: 516-526 |
| 87 | | Yongmei Liu,
Gerhard Lakemeyer,
Hector J. Levesque:
A Logic of Limited Belief for Reasoning with Disjunctive Information.
KR 2004: 587-597 |
| 86 | EE | Jürgen Dix,
Michael Fisher,
Hector J. Levesque,
Leon Sterling:
Introduction.
Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004) |
| 85 | EE | 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) |
| 2003 |
|---|
| 84 | | Yongmei Liu,
Hector J. Levesque:
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases.
IJCAI 2003: 83-88 |
| 83 | EE | Richard B. Scherl,
Hector J. Levesque:
Knowledge, action, and the frame problem.
Artif. Intell. 144(1-2): 1-39 (2003) |
| 2002 |
|---|
| 82 | EE | Steven Shapiro,
Yves Lespérance,
Hector J. Levesque:
The cognitive agents specification language and verification environment for multiagent systems.
AAMAS 2002: 19-26 |
| 81 | | Ronald P. A. Petrick,
Hector J. Levesque:
Knowledge Equivalence in Combined Action Theories.
KR 2002: 303-314 |
| 80 | | 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 |
| 79 | | Fiora Pirri,
Geoffrey E. Hinton,
Hector J. Levesque:
In Memory of Ray Reiter (1939-2002).
AI Magazine 23(4): 93 (2002) |
| 2001 |
|---|
| 78 | EE | Giuseppe De Giacomo,
Hector J. Levesque,
Sebastian Sardiña:
Incremental execution of guarded theories.
ACM Trans. Comput. Log. 2(4): 495-525 (2001) |
| 2000 |
|---|
| 77 | | 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 |
| 76 | | Koen V. Hindriks,
Yves Lespérance,
Hector J. Levesque:
An Embedding of ConGolog in 3APL.
ECAI 2000: 558-562 |
| 75 | EE | Sanjeev Kumar,
Philip R. Cohen,
Hector J. Levesque:
The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams.
ICMAS 2000: 159-166 |
| 74 | | Gerhard Lakemeyer,
Hector J. Levesque:
Querying AOL Knowledge Bases.
Intellectics and Computational Logic 2000: 225-244 |
| 73 | | Steven Shapiro,
Maurice Pagnucco,
Yves Lespérance,
Hector J. Levesque:
Iterated Belief Change in the Situation Calculus.
KR 2000: 527-538 |
| 72 | EE | 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) |
| 71 | | Yves Lespérance,
Hector J. Levesque,
Fangzhen Lin,
Richard B. Scherl:
Ability and Knowing How in the Situation Calculus.
Studia Logica 66(1): 165-186 (2000) |
| 1999 |
|---|
| 70 | | Gerhard Lakemeyer,
Hector J. Levesque:
Query Evaluation and Progression in AOL Knowledge Bases.
IJCAI 1999: 124-131 |
| 69 | | Giuseppe De Giacomo,
Hector J. Levesque:
Projection Using Regression and Sensors.
IJCAI 1999: 160-165 |
| 68 | EE | 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) |
| 1998 |
|---|
| 67 | | Hector J. Levesque:
A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases.
KR 1998: 14-23 |
| 66 | | Gerhard Lakemeyer,
Hector J. Levesque:
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.
KR 1998: 316-329 |
| 65 | | Hector J. Levesque:
What Robots Can Do.
KR 1998: 651 |
| 64 | EE | Fangzhen Lin,
Hector J. Levesque:
What Robots Can Do: Robot Programs and Effective Achievability.
Artif. Intell. 101(1-2): 201-226 (1998) |
| 63 | EE | Fahiem Bacchus,
Joseph Y. Halpern,
Hector J. Levesque:
Reasoning about Noisy Sensors and Effectors in the Situation Calculus
CoRR cs.AI/9809013: (1998) |
| 62 | EE | Hector J. Levesque,
Fiora Pirri,
Raymond Reiter:
Foundations for the Situation Calculus.
Electron. Trans. Artif. Intell. 2: 159-178 (1998) |
| 1997 |
|---|
| 61 | | 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 |
| 60 | EE | 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 |
| 59 | | 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 |
| 58 | | 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 |
| 57 | | 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) |
| 1996 |
|---|
| 56 | | Hector J. Levesque:
What Is Planning in the Presence of Sensing?
AAAI/IAAI, Vol. 2 1996: 1139-1146 |
| 55 | | 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 |
| 54 | | Ronald J. Brachman,
Hector J. Levesque:
Undirected Behavior Without Unbounded Search.
ACM Comput. Surv. 28(4es): 1 (1996) |
| 53 | EE | David G. Mitchell,
Hector J. Levesque:
Some Pitfalls for Experimenters with Random SAT.
Artif. Intell. 81(1-2): 111-125 (1996) |
| 52 | EE | Bart Selman,
David G. Mitchell,
Hector J. Levesque:
Generating Hard Satisfiability Problems.
Artif. Intell. 81(1-2): 17-29 (1996) |
| 51 | EE | Bart Selman,
Hector J. Levesque:
Support Set Selection for Abductive and Default Reasoning.
Artif. Intell. 82(1-2): 259-272 (1996) |
| 1995 |
|---|
| 50 | | 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 |
| 49 | | Philip R. Cohen,
Hector J. Levesque:
Communicative Actions for Artificial Agents.
ICMAS 1995: 65-72 |
| 48 | | Fahiem Bacchus,
Joseph Y. Halpern,
Hector J. Levesque:
Reasoning about Noisy Sensors in the Situation Calculus.
IJCAI 1995: 1933-1940 |
| 47 | | 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 |
| 46 | | Ronald J. Brachman,
Hector J. Levesque:
Undirected Behaviour Without Unbounded Search.
ACM Comput. Surv. 27(3): 314-316 (1995) |
| 45 | EE | Yves Lespérance,
Hector J. Levesque:
Indexical Knowledge and Robot Action - A Logical Account.
Artif. Intell. 73(1-2): 69-115 (1995) |
| 1994 |
|---|
| 44 | | Hector J. Levesque:
Knowledge, Action, and Ability in the Situation Calculus.
TARK 1994: 1-4 |
| 1993 |
|---|
| 43 | | Richard B. Scherl,
Hector J. Levesque:
The Frame Problem and Knowledge-Producing Actions.
AAAI 1993: 689-695 |
| 42 | | Bart Selman,
Hector J. Levesque:
The Complexity of Path-Based Defeasible Inheritance.
Artif. Intell. 62(2): 303-339 (1993) |
| 1992 |
|---|
| 41 | | Bart Selman,
Hector J. Levesque,
David G. Mitchell:
A New Method for Solving Hard Satisfiability Problems.
AAAI 1992: 440-446 |
| 40 | | David G. Mitchell,
Bart Selman,
Hector J. Levesque:
Hard and Easy Distributions of SAT Problems.
AAAI 1992: 459-465 |
| 1991 |
|---|
| 39 | | Philip R. Cohen,
Hector J. Levesque:
Confirmations and Joint Action.
IJCAI 1991: 951-959 |
| 38 | | Ronald J. Brachman,
Hector J. Levesque,
Raymond Reiter:
Introduction to the Special Volume on Knowledge Representation.
Artif. Intell. 49(1-3): 1-3 (1991) |
| 1990 |
|---|
| 37 | | Yves Lespérance,
Hector J. Levesque:
Indexical Knowledge in Robot Plans.
AAAI 1990: 1030-1037 |
| 36 | | Bart Selman,
Hector J. Levesque:
Abductive and Default Reasoning: A Computational Core.
AAAI 1990: 343-348 |
| 35 | | Hector J. Levesque,
Philip R. Cohen,
José H. T. Nunes:
On Acting Together.
AAAI 1990: 94-99 |
| 34 | | Philip R. Cohen,
Hector J. Levesque:
Performatives in a Rationally Based Speech Act Theory.
ACL 1990: 79-88 |
| 33 | | Philip R. Cohen,
Hector J. Levesque:
Intention is Choice with Commitment.
Artif. Intell. 42(2-3): 213-261 (1990) |
| 32 | | Hector J. Levesque:
All I Know: A Study in Autoepistemic Logic.
Artif. Intell. 42(2-3): 263-309 (1990) |
| 1989 |
|---|
| 31 | | Hector J. Levesque:
A Knowledge-Level Account of Abduction.
IJCAI 1989: 1061-1067 |
| 30 | | Bart Selman,
Hector J. Levesque:
The Tractability of Path-Based Inheritance.
IJCAI 1989: 1140-1145 |
| 1988 |
|---|
| 29 | | Gerhard Lakemeyer,
Hector J. Levesque:
A Tractable Knowledge Representation Service with Full Introspection.
TARK 1988: 145-159 |
| 28 | | Stanley J. Rosenchein,
Jon Doyle,
Ronald Prescott Loui,
Hector J. Levesque,
Robert S. Moore:
Panel: Locality vs. Rationality.
TARK 1988: 343 |
| 27 | | Hector J. Levesque:
Comments on "Knowledge, Representation, and Rational Self-Government".
TARK 1988: 361-362 |
| 26 | | Jim des Rivières,
Hector J. Levesque:
The consistency of syntactical treatments of knowledge.
Computational Intelligence 4: 31-41 (1988) |
| 1987 |
|---|
| 25 | | Philip R. Cohen,
Hector J. Levesque:
Intention = Choice + Commitment.
AAAI 1987: 410-415 |
| 24 | | Hector J. Levesque:
All I Know: An Abridged Report.
AAAI 1987: 426-431 |
| 23 | | Hector J. Levesque,
Ronald J. Brachman:
Expressiveness and tractability in knowledge representation and reasoning.
Computational Intelligence 3: 78-93 (1987) |
| 1986 |
|---|
| 22 | | Ronald J. Brachman,
Hector J. Levesque:
Tales from the Far Side of KRYPTON.
Expert Database Conf. 1986: 3-43 |
| 21 | | Jim des Rivières,
Hector J. Levesque:
The Consistency of Syntactical Treatments of Knowledge.
TARK 1986: 115-130 |
| 20 | | Robert Stalnaker,
Hans Kamp,
Kurt Konolige,
Hector J. Levesque,
Richmond H. Thomason:
Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?
TARK 1986: 223 |
| 19 | | Hector J. Levesque:
Making Believers out of Computers.
Artif. Intell. 30(1): 81-108 (1986) |
| 1985 |
|---|
| 18 | | Philip R. Cohen,
Hector J. Levesque:
Speech Acts and Rationality.
ACL 1985: 49-60 |
| 17 | | 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 |
| 16 | | Hector J. Levesque,
Ronald J. Brachman:
Knowledge Level Interfaces to Information Systems.
On Knowledge Base Management Systems (Islamorada) 1985: 13-34 |
| 15 | | Hector J. Levesque:
A View Of Knowledge Representation.
On Knowledge Base Management Systems (Islamorada) 1985: 63-69 |
| 14 | | Ronald J. Brachman,
Hector J. Levesque:
The Knowledge Level of a KBMS.
On Knowledge Base Management Systems (Islamorada) 1985: 9-12 |
| 1984 |
|---|
| 13 | | Hector J. Levesque:
A Logic of Implicit and Explicit Belief.
AAAI 1984: 198-202 |
| 12 | | Ronald J. Brachman,
Hector J. Levesque:
The Tractability of Subsumption in Frame-Based Description Languages.
AAAI 1984: 34-37 |
| 11 | | 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 |
| 10 | | Hector J. Levesque:
Foundations of a Functional Approach to Knowledge Representation.
Artif. Intell. 23(2): 155-212 (1984) |
| 1983 |
|---|
| 9 | | Ronald J. Brachman,
Hector J. Levesque,
Richard Fikes:
KRYPTON: Integrating Terminology and Assertion.
AAAI 1983: 31-35 |
| 8 | | John Mylopoulos,
Hector J. Levesque:
An Overview of Knowledge Representation.
GWAI 1983: 143-157 |
| 7 | | Ronald J. Brachman,
Richard Fikes,
Hector J. Levesque:
Krypton: A Functional Approach to Knowledge Representation.
IEEE Computer 16(10): 67-73 (1983) |
| 1982 |
|---|
| 6 | | Ronald J. Brachman,
Hector J. Levesque:
Competence in Knowledge Representation.
AAAI 1982: 189-192 |
| 5 | | Hector J. Levesque:
The Logic of Incomplete Knowledge Bases.
On Conceptual Modelling (Intervale) 1982: 165-189 |
| 4 | | John Mylopoulos,
Hector J. Levesque:
An Overview of Knowledge Representation.
On Conceptual Modelling (Intervale) 1982: 3-17 |
| 1981 |
|---|
| 3 | | Hector J. Levesque:
The Interaction with Incomplete Knowledge Bases: A Formal Treatment.
IJCAI 1981: 240-245 |
| 1980 |
|---|
| 2 | EE | Hector J. Levesque:
Incompleteness in Knowledge Bases.
Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 150-152 |
| 1977 |
|---|
| 1 | | Hector J. Levesque,
John Mylopoulos:
An Overview of a Procedural Approach to Semantic Networks.
IJCAI 1977: 283 |
