Ramification and causality

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference

1988 • 17,362 citations

Linear logic

1987 • 4,075 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

STRIPS: a new approach to the application of theorem proving to problem solving

1995 • 1,547 citations

Fiftieth volume of theoretical computer science

1988 • 1,367 citations

Programs with common sense

1960 • 841 citations

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

1991 • 728 citations

Representing action and change by logic programs

1993 • 524 citations

APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This preprint is a preliminary version and is subject to modification prior to publication.

1981 • 484 citations

Nonmonotonic logic and temporal projection

1987 • 451 citations

Reasoning about action using a possible models approach

1988 • 431 citations

Reasoning about action I

1988 • 261 citations

Computer Science Today

1995 • 250 citations

A Unification Algorithm for Associative-Commutative Functions

1981 • 244 citations

State Constraints Revisited

1994 • 240 citations

ON THE SEMANTICS OF STRIPS

1987 • 231 citations

[Bayesian Analysis in Expert Systems]: Comment: Graphical Models, Causality and Intervention

1993 • 222 citations

Third International Conference on Logic Programming

1986 • 213 citations

Embracing causality in specifying the indirect effects of actions

1995 • 212 citations

Default Reasoning: Causal and Conditional Theories

1992 • 199 citations

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

1995 • 165 citations

Embracing causality in default reasoning

1988 • 147 citations

Exploiting constraints in design synthesis

1987 • 128 citations

Nonmonotonic reasoning in the framework of situation calculus

1991 • 128 citations

Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning

1991 • 127 citations

Frames in the space of situations

1990 • 126 citations

A new deductive approach to planning

1990 • 118 citations

A Probabilistic Calculus of Actions

1994 • 114 citations

Reasoning about action II

1988 • 109 citations

A deductive solution for plan generation

1986 • 102 citations

A theory of complete logic programs with equality

1984 • 96 citations

Generating Plans in Linear Logic : I. Actions as proofs

1993 • 67 citations

How to Do Things with Worlds: on Formalizing Actions and Plans

1993 • 65 citations

Causal theories for nonmonotonic reasoning

1990 • 55 citations

Proceedings of the eleventh international conference on Logic programming

1994 • 42 citations

Features and fluents : representation of knowledge about dynamical systems

1994 • 39 citations

Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning

1994 • 37 citations

Generating plans in linear logic

1993 • 36 citations

Computing change and specificity with equational logic programs

1995 • 33 citations

Representing Actions in Equational Logic Programming

1994 • 27 citations

Assessments of ramification methods that use static domain constraints

1996 • 27 citations

The logic of dynamic systems

1995 • 22 citations

Unification in datastructure multisets

1986 • 21 citations

SLDNF-resolution with equality

1992 • 20 citations

Reasoning about action and change using Dijkstra's semantics for programming languages: preliminary report

1995 • 17 citations

Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems

1997 • 16 citations

Deriving properties of belief update from theories of action (II)

1993 • 12 citations

An analysis of systematic approaches to reasoning about actions and change

1995 • 11 citations

A Temporal Revision Model for Reasoning about World Change.

1992 • 9 citations

On the completeness of SLDENF-resolution

1996 • 8 citations

Reasoning about actions and change with ramification

1995 • 2 citations