- A logical framework for depiction and image interpretation.Raymond Reiter & Alan K. Mackworth - 1989 - Artificial Intelligence 41 (2):125-155.details
|
|
|
Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.details
|
|
|
The owl and the electric encyclopedia.Brian Cantwell Smith - 1991 - Artificial Intelligence 47 (1-3):251-288.details
|
|
|
Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services.Jon Doyle & Ramesh S. Patil - 1991 - Artificial Intelligence 48 (3):261-297.details
|
|
|
Nonmonotonic reasoning in the framework of situation calculus.Andrew B. Baker - 1991 - Artificial Intelligence 49 (1-3):5-23.details
|
|
|
A non-reified temporal logic.Fahiem Bacchus, Josh Tenenberg & Johannes A. Koomen - 1991 - Artificial Intelligence 52 (1):87-108.details
|
|
|
Modeling digital circuits for troubleshooting.Walter C. Hamscher - 1991 - Artificial Intelligence 51 (1-3):223-271.details
|
|
|
Maintaining mental models of agents who have existential misconceptions.Anthony S. Maida - 1991 - Artificial Intelligence 50 (3):331-383.details
|
|
|
A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.details
|
|
|
A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.details
|
|
|
Probabilistic logic revisited.Nils J. Nilsson - 1993 - Artificial Intelligence 59 (1-2):39-42.details
|
|
|
Agent-oriented programming.Yoav Shoham - 1993 - Artificial Intelligence 60 (1):51-92.details
|
|
|
Building large knowledge-based systems: Representation and inference in the cyc project.Drew McDermott - 1993 - Artificial Intelligence 61 (1):53-63.details
|
|
|
Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.details
|
|
|
Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.details
|
|
|
Multilanguage hierarchical logics, or: How we can do without modal logics.Fausto Giunchiglia & Luciano Serafini - 1994 - Artificial Intelligence 65 (1):29-70.details
|
|
|
Hybrid reasoning using universal attachment.Karen L. Myers - 1994 - Artificial Intelligence 67 (2):329-375.details
|
|
|
Two counterexamples related to Baker's approach to the frame problem.G. Neelakantan Kartha - 1994 - Artificial Intelligence 69 (1-2):379-391.details
|
|
|
Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.details
|
|
|
A logic programming approach to knowledge-state planning, II: The system.Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer & Axel Polleres - 2003 - Artificial Intelligence 144 (1-2):157-211.details
|
|
|
Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.details
|
|
|
From statistical knowledge bases to degrees of belief.Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern & Daphne Koller - 1996 - Artificial Intelligence 87 (1-2):75-143.details
|
|
|
Causality as a key to the frame problem.Hideyuki Nakashima, Hitoshi Matsubara & Ichiro Osawa - 1997 - Artificial Intelligence 91 (1):33-50.details
|
|
|
A framework for knowledge-based temporal abstraction.Yuval Shahar - 1997 - Artificial Intelligence 90 (1-2):79-133.details
|
|
|
Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.details
|
|
|
The independent choice logic for modelling multiple agents under uncertainty.David Poole - 1997 - Artificial Intelligence 94 (1-2):7-56.details
|
|
|
Dynamic reasoning with qualified syllogisms.Daniel G. Schwartz - 1997 - Artificial Intelligence 93 (1-2):103-167.details
|
|
|
Defaults and relevance in model-based reasoning.Roni Khardon & Dan Roth - 1997 - Artificial Intelligence 97 (1-2):169-193.details
|
|
|
Planning parallel actions.A. R. Lingard & E. B. Richards - 1998 - Artificial Intelligence 99 (2):261-324.details
|
|
|
Formalizing narratives using nested circumscription.Chitta Baral, Alfredo Gabaldon & Alessandro Provetti - 1998 - Artificial Intelligence 104 (1-2):107-164.details
|
|
|
The expressive power of circumscription.Tom Costello - 1998 - Artificial Intelligence 104 (1-2):313-329.details
|
|
|
In search of a “true” logic of knowledge: the nonmonotonic perspective.Grigori Schwarz - 1995 - Artificial Intelligence 79 (1):39-63.details
|
|
|
Indexical knowledge and robot action—a logical account.Yves Lespérance & Hector J. Levesque - 1995 - Artificial Intelligence 73 (1-2):69-115.details
|
|
|
Horn approximations of empirical data.Henry Kautz, Michael Kearns & Bart Selman - 1995 - Artificial Intelligence 74 (1):129-145.details
|
|
|
Off-line reasoning for on-line efficiency: knowledge bases.Yoram Moses & Moshe Tennenholtz - 1996 - Artificial Intelligence 83 (2):229-239.details
|
|
|
Let's plan it deductively!W. Bibel - 1998 - Artificial Intelligence 103 (1-2):183-208.details
|
|
|
Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator.Fangzhen Lin - 1998 - Artificial Intelligence 103 (1-2):273-294.details
|
|
|
A comparison of point-based approaches to qualitative temporal reasoning.James Delgrande, Arvind Gupta & Tim Van Allen - 2001 - Artificial Intelligence 131 (1-2):135-170.details
|
|
|
The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.details
|
|
|
Integrating actions and state constraints: A closed-form solution to the ramification problem.Sheila A. McIlraith - 2000 - Artificial Intelligence 116 (1-2):87-121.details
|
|
|
Understanding dynamic scenes.A. Chella, M. Frixione & S. Gaglio - 2000 - Artificial Intelligence 123 (1-2):89-132.details
|
|
|
M. Shanahan, Solving the Frame Problem☆☆MIT Press, Cambridge, MA, 1997. 410 pp. $55.00 (cloth). ISBN 0-262-19384-1. http://mitpress.mit.edu/book-home.tcl?isbn = 0262193841. [REVIEW]John McCarthy - 2000 - Artificial Intelligence 123 (1-2):269-270.details
|
|
|
Abduction to plausible causes: an event-based model of belief update.Craig Boutilier - 1996 - Artificial Intelligence 83 (1):143-166.details
|
|
|
A circumscriptive calculus of events.Murray Shanahan - 1995 - Artificial Intelligence 77 (2):249-284.details
|
|
|
The logical foundations of goal-regression planning in autonomous agents.John L. Pollock - 1998 - Artificial Intelligence 106 (2):267-334.details
|
|
|
Reasoning about actions: steady versus stabilizing state constraints.Michael Thielscher - 1998 - Artificial Intelligence 104 (1-2):339-355.details
|
|
|
Stochastic dynamic programming with factored representations.Craig Boutilier, Richard Dearden & Moisés Goldszmidt - 2000 - Artificial Intelligence 121 (1-2):49-107.details
|
|
|
ConGolog, a concurrent programming language based on the situation calculus.Giuseppe De Giacomo, Yves Lespérance & Hector J. Levesque - 2000 - Artificial Intelligence 121 (1-2):109-169.details
|
|
|
The Spatial Semantic Hierarchy.Benjamin Kuipers - 2000 - Artificial Intelligence 119 (1-2):191-233.details
|
|
|
Default reasoning about spatial occupancy.Murray Shanahan - 1995 - Artificial Intelligence 74 (1):147-163.details
|
|
