- Frame problem in dynamic logic.Dongmo Zhang & Norman Foo - 2005 - Journal of Applied Non-Classical Logics 15 (2):215-239.details
|
|
The frame problem, the relevance problem, and a package solution to both.Yingjin Xu & Pei Wang - 2012 - Synthese 187 (S1):43-72.details
|
|
More models just means more difficulty.N. E. Wetherick - 1993 - Behavioral and Brain Sciences 16 (2):367-368.details
|
|
Scientific thinking and mental models.Ryan D. Tweney - 1993 - Behavioral and Brain Sciences 16 (2):366-367.details
|
|
The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.details
|
|
Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.details
|
|
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.details
|
|
Situation theory and mental models.Alice G. B. ter Meulen - 1993 - Behavioral and Brain Sciences 16 (2):358-359.details
|
|
Nonsentential representation and nonformality.Keith Stenning & Jon Oberlander - 1993 - Behavioral and Brain Sciences 16 (2):365-366.details
|
|
Models, rules and expertise.Rosemary J. Stevenson - 1993 - Behavioral and Brain Sciences 16 (2):366-366.details
|
|
Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.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
|
|
¿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
|
|
Default reasoning about spatial occupancy.Murray Shanahan - 1995 - Artificial Intelligence 74 (1):147-163.details
|
|
A circumscriptive calculus of events.Murray Shanahan - 1995 - Artificial Intelligence 77 (2):249-284.details
|
|
Unjustified presuppositions of competence.Leah Savion - 1993 - Behavioral and Brain Sciences 16 (2):364-365.details
|
|
Reasoning about action and change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.details
|
|
Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.details
|
|
The logical foundations of goal-regression planning in autonomous agents.John L. Pollock - 1998 - Artificial Intelligence 106 (2):267-334.details
|
|
There is no need for (even fully fleshed out) mental models to map onto formal logic.Paul Pollard - 1993 - Behavioral and Brain Sciences 16 (2):363-364.details
|
|
Mental models, more or less.Thad A. Polk - 1993 - Behavioral and Brain Sciences 16 (2):362-363.details
|
|
``Defeasible Reasoning with Variable Degrees of Justification".John L. Pollock - 2001 - Artificial Intelligence 133 (1-2):233-282.details
|
|
Autocircumscription.Donald Perlis - 1988 - Artificial Intelligence 36 (2):223-236.details
|
|
The Case for Psychologism in Default and Inheritance Reasoning.Francis Jeffry Pelletier & Renée Elio - 2005 - Synthese 146 (1-2):7-35.details
|
|
Embracing causality in default reasoning.Judea Pearl - 1988 - Artificial Intelligence 35 (2):259-271.details
|
|
Deduction and degrees of belief.David Over - 1993 - Behavioral and Brain Sciences 16 (2):361-362.details
|
|
Mental models and the tractability of everyday reasoning.Mike Oaksford - 1993 - Behavioral and Brain Sciences 16 (2):360-361.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
|
|
Do mental models provide an adequate account of syllogistic reasoning performance?Stephen E. Newstead - 1993 - Behavioral and Brain Sciences 16 (2):359-360.details
|
|
Mid-sized axiomatizations of commonsense problems: A case study in egg cracking.Leora Morgenstern - 2001 - Studia Logica 67 (3):333-384.details
|
|
Knowledge representation and commonsense reasoning: Reviews of four books.Leora Morgenstern - 2006 - Artificial Intelligence 170 (18):1239-1250.details
|
|
Inheritance comes of age: applying nonmonotonic techniques to problems in industry.Leora Morgenstern - 1998 - Artificial Intelligence 103 (1-2):237-271.details
|
|
A general framework for reason maintenance.Drew McDermott - 1991 - Artificial Intelligence 50 (3):289-329.details
|
|
History of circumscription.John McCarthy - 1993 - Artificial Intelligence 59 (1-2):23-26.details
|
|
Models for deontic deduction.K. I. Manktelow - 1993 - Behavioral and Brain Sciences 16 (2):357-357.details
|
|
Visualizing the possibilities.Bruce J. MacLennan - 1993 - Behavioral and Brain Sciences 16 (2):356-357.details
|
|
Gestalt theory, formal models and mathematical modeling.Abraham S. Luchins & Edith H. Luchins - 1993 - Behavioral and Brain Sciences 16 (2):355-356.details
|
|
The Dramatic True Story of the Frame Default.Vladimir Lifschitz - 2015 - Journal of Philosophical Logic 44 (2):163-176.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
|
|
Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.details
|
|
Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.details
|
|
The content of mental models.Paolo Legrenzi & Maria Sonino - 1993 - Behavioral and Brain Sciences 16 (2):354-355.details
|
|
Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.details
|
|
On nonmonotonic reasoning with the method of sweeping presumptions.Steven O. Kimbrough & Hua Hua - 1991 - Minds and Machines 1 (4):393-416.details
|
|
Two counterexamples related to Baker's approach to the frame problem.G. Neelakantan Kartha - 1994 - Artificial Intelligence 69 (1-2):379-391.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
|
|
Précis of Deduction.Philip N. Johnson-Laird & Ruth M. J. Byrne - 1993 - Behavioral and Brain Sciences 16 (2):323-333.details
|
|
Mental models or formal rules?Philip N. Johnson-Laird & Ruth M. J. Byrne - 1993 - Behavioral and Brain Sciences 16 (2):368-380.details
|
|
Causal Probability.John L. John L. - 2002 - Synthese 132 (1/2):143-185.details
|
|
Architecture and algorithms: Power sharing for mental models.Robert Inder - 1993 - Behavioral and Brain Sciences 16 (2):354-354.details
|
|