The Qualification Problem: A solution to the problem of anomalous models

Lecture Notes in Artificial Intelligence

1999 • 7,385 citations

Word and Object

1960 • 6,024 citations

A logic for default reasoning

1980 • 3,992 citations

Strips: A new approach to the application of theorem proving to problem solving

1971 • 3,943 citations

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Circumscription—A form of non-monotonic reasoning

1980 • 2,056 citations

Applications of circumscription to formalizing common-sense knowledge

1986 • 1,097 citations

The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

1991 • 728 citations

Nonmonotonic logic and temporal projection

1987 • 451 citations

Reasoning about change

1991 • 432 citations

Solving the frame problem: A mathematical investigation of the common sense law of inertia

1997 • 420 citations

EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE

1981 • 309 citations

Reasoning about action I

1988 • 261 citations

Foundations of the Situation Calculus

2001 • 257 citations

State Constraints Revisited

1994 • 240 citations

The Robot's dilemma : the frame problem in artificial intelligence

1987 • 211 citations

Ramification and causality

1997 • 184 citations

Features and fluents (vol. 1): the representation of knowledge about dynamical systems

1995 • 165 citations

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

1999 • 150 citations

Adding priorities and specificity to default logic

2005 • 124 citations

The logic of persistence

1986 • 122 citations

A new deductive approach to planning

1990 • 118 citations

Reasoning about action II

1988 • 109 citations

A deductive solution for plan generation

1986 • 102 citations

Alternative approaches to default logic

1994 • 98 citations

What Are the Limitations of the Situation Calculus?

1991 • 96 citations

Automated Reasoning: Essays in Honor of Woody Bledsoe

1991 • 93 citations

A Logical Approach to High-Level Robot Programming A Progress Report*

1994 • 89 citations

Representing the knowledge of a robot

2000 • 83 citations

Robotics and the Common Sense Informatic Situation.

1996 • 73 citations

Chronological ignorance: Experiments in nonmonotonic temporal reasoning

1988 • 67 citations

A simple solution to the Yale shooting problem

1989 • 65 citations

Formal theories of action (preliminary report)

1987 • 58 citations

Motivated action theory: a formal theory of causal reasoning

1994 • 52 citations

Features and fluents : representation of knowledge about dynamical systems

1994 • 39 citations

Let's plan it deductively!

1998 • 30 citations

Assessments of ramification methods that use static domain constraints

1996 • 27 citations

Explanatory update theory: Applications of counterfactual reasoning to causation

1999 • 25 citations

Robot's Dilemma: The Frame Problem in Artificial Intelligence

1987 • 23 citations

Restricted monotonicity

1993 • 21 citations

Reasoning about actions: steady versus stabilizing state constraints

1998 • 21 citations

Untitled

2001 • 21 citations

On specificity in default logic

1995 • 20 citations

Intellectics and Computational Logic

2000 • 16 citations

Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study

2000 • 14 citations

Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms

2000 • 11 citations

Addressing the Qualification Problem in FLUX

2001 • 8 citations

Preferential Semantics for Causal Systems

1999 • 8 citations

Temporal Reasoning and Narrative Conventions.

1991 • 8 citations

Building Models of Prediction Theories

1997 • 8 citations

Causal Propagation Semantics — A Study

1999 • 7 citations

A New Equational Foundation for the Fluent Calculus

2000 • 6 citations

On Solving the Qualification Problem

1995 • 6 citations

Deleted Work

1955 • 0 citations