- The Dramatic True Story of the Frame Default.Vladimir Lifschitz - 2015 - Journal of Philosophical Logic 44 (2):163-176.details
|
|
Rule systems are not dead: Existential quantifiers are harder.Richard E. Grandy - 1993 - Behavioral and Brain Sciences 16 (2):351-352.details
|
|
“Semantic procedure” is an oxymoron.Alan Bundy - 1993 - Behavioral and Brain Sciences 16 (2):339-340.details
|
|
A number of questions about a question of number.Alan Garnham - 1993 - Behavioral and Brain Sciences 16 (2):350-351.details
|
|
Précis of Deduction.Philip N. Johnson-Laird & Ruth M. J. Byrne - 1993 - Behavioral and Brain Sciences 16 (2):323-333.details
|
|
Modulated logics and flexible reasoning.Walter Carnielli & Maria Cláudia C. Grácio - 2008 - Logic and Logical Philosophy 17 (3):211-249.details
|
|
What is answer set programming?Vladimir Lifschitz - unknowndetails
|
|
``Defeasible Reasoning with Variable Degrees of Justification".John L. Pollock - 2001 - Artificial Intelligence 133 (1-2):233-282.details
|
|
The frame problem.Murray Shanahan - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Defeasible reasoning.Robert C. Koons - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
On nonmonotonic reasoning with the method of sweeping presumptions.Steven O. Kimbrough & Hua Hua - 1991 - Minds and Machines 1 (4):393-416.details
|
|
A logical expression of reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.details
|
|
Is logicist cognitive science possible?Alan Garnham - 1993 - Mind and Language 8 (1):49-71.details
|
|
Formalising the Fisherman's Folly puzzle.Pedro Cabalar & Paulo E. Santos - 2011 - Artificial Intelligence 175 (1):346-377.details
|
|
How does a box work? A study in the qualitative dynamics of solid objects.Ernest Davis - 2011 - Artificial Intelligence 175 (1):299-345.details
|
|
M odular- E and the role of elaboration tolerance in solving the qualification problem.Antonis Kakas, Loizos Michael & Rob Miller - 2011 - Artificial Intelligence 175 (1):49-78.details
|
|
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.details
|
|
Active logic semantics for a single agent in a static world.Michael L. Anderson, Walid Gomaa, John Grant & Don Perlis - 2008 - Artificial Intelligence 172 (8-9):1045-1063.details
|
|
Inductive situation calculus.Marc Denecker & Eugenia Ternovska - 2007 - Artificial Intelligence 171 (5-6):332-360.details
|
|
Knowledge representation and commonsense reasoning: Reviews of four books.Leora Morgenstern - 2006 - Artificial Intelligence 170 (18):1239-1250.details
|
|
Introduction: Progress in formal commonsense reasoning.Ernest Davis & Leora Morgenstern - 2004 - Artificial Intelligence 153 (1-2):1-12.details
|
|
Reasoning about action I.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (2):165-195.details
|
|
Embracing causality in default reasoning.Judea Pearl - 1988 - Artificial Intelligence 35 (2):259-271.details
|
|
Autocircumscription.Donald Perlis - 1988 - Artificial Intelligence 36 (2):223-236.details
|
|
A circumscriptive theorem prover.Matthew L. Ginsberg - 1989 - Artificial Intelligence 39 (2):209-230.details
|
|
Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.details
|
|
Nonmonotonic reasoning in the framework of situation calculus.Andrew B. Baker - 1991 - Artificial Intelligence 49 (1-3):5-23.details
|
|
Impediments to universal preference-based default theories.Jon Doyle & Michael P. Wellman - 1991 - Artificial Intelligence 49 (1-3):97-128.details
|
|
A general framework for reason maintenance.Drew McDermott - 1991 - Artificial Intelligence 50 (3):289-329.details
|
|
Conditional entailment: Bridging two approaches to default reasoning.Hector Geffner & Judea Pearl - 1992 - Artificial Intelligence 53 (2-3):209-244.details
|
|
A mathematical treatment of defeasible reasoning and its implementation.Guillermo R. Simari & Ronald P. Loui - 1992 - Artificial Intelligence 53 (2-3):125-157.details
|
|
History of circumscription.John McCarthy - 1993 - Artificial Intelligence 59 (1-2):23-26.details
|
|
Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.details
|
|
Modeling a dynamic and uncertain world I.Steve Hanks & Drew McDermott - 1994 - Artificial Intelligence 66 (1):1-55.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
|
|
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
|
|
Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.details
|
|
The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.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]Vladimir Lifschitz - 2000 - Artificial Intelligence 123 (1-2):265-268.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
|
|
Default reasoning about spatial occupancy.Murray Shanahan - 1995 - Artificial Intelligence 74 (1):147-163.details
|
|
Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.details
|
|
Representing action: indeterminacy and ramifications.Enrico Giunchiglia, G. Neelakantan Kartha & Vladimir Lifschitz - 1997 - Artificial Intelligence 95 (2):409-438.details
|
|
Inheritance comes of age: applying nonmonotonic techniques to problems in industry.Leora Morgenstern - 1998 - Artificial Intelligence 103 (1-2):237-271.details
|
|
The Case for Psychologism in Default and Inheritance Reasoning.Francis Jeffry Pelletier & Renée Elio - 2005 - Synthese 146 (1-2):7-35.details
|
|
¿En qué consiste el problema de marco? Confluencias entre distintas interpretaciones.María Inés Silenzi - 2015 - Eidos: Revista de Filosofía de la Universidad Del Norte 22:49-80.details
|
|
On the impact of stratification on the complexity of nonmonotonic reasoning.Ilkka Niemelä & Jussi Rintanen - 1994 - Journal of Applied Non-Classical Logics 4 (2):141-179.details
|
|
Mental models or formal rules?Philip N. Johnson-Laird & Ruth M. J. Byrne - 1993 - Behavioral and Brain Sciences 16 (2):368-380.details
|
|