Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Theoretical Computer Science
Reasoning about action II: the qualification problem
Artificial Intelligence
Frames in the space of situations (research note)
Artificial Intelligence
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
A model-based approach to predictive causal reasoning
Partiality, modality, and nonmonotonicity
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Partiality, Modality, and Nonmomotonicity
Partiality, Modality, and Nonmomotonicity
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
This paper develops an inductive theory of predictive common sense reasoning. The theory provides the basis for an integrated solution to the three traditional problems of reasoning about change; the frame, qualification, and ramification problems. The theory is also capable of representing non-deterministic events, and it provides a means for stating defeasible preferences over the outcomes of conflicting simultaneous events.