APPLYING THEORY FORMATION TO THE PLANNING PROBLEM

Foundations of Logic Programming

1984 • 4,311 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

Aspects of Scientific Explanation and Other Essays in the Philosophy of Science.

1966 • 2,110 citations

Negation as Failure

1978 • 2,091 citations

Circumscription—A form of non-monotonic reasoning

1980 • 2,056 citations

A logic-based calculus of events

1986 • 1,701 citations

Algorithmic Program Debugging

1983 • 1,100 citations

Semantical considerations on nonmonotonic logic

1985 • 1,087 citations

Readings in Knowledge Representation

1985 • 1,052 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

EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE

1981 • 309 citations

Theorist: A Logical Reasoning System for Defaults and Diagnosis

1987 • 305 citations

Default reasoning, nonmonotonic logics, and the frame problem

1986 • 261 citations

On the comparison of theories: preferring the most specific explanation

1985 • 210 citations

FORMAL THEORIES OF ACTION

1987 • 147 citations

Database updates in the event calculus

1992 • 144 citations

Time representation: a taxonomy of interval relations

1986 • 137 citations

The logic of persistence

1986 • 122 citations

The Frame Problem and Related Problems in Artificial Intelligence

1981 • 110 citations

The knowledge frontier: essays in the representation of knowledge

1987 • 110 citations

Pointwise circumscription

1987 • 105 citations

Meta-level programming and knowledge representation

1985 • 94 citations

Circumscription implies predicate completion (sometimes)

1982 • 75 citations

Artificial and human thinking

1974 • 73 citations

Primitives and units for time specification

1986 • 72 citations

What's wrong with non-monotonic logic?

1980 • 70 citations

Chronological ignorance: time, nonmonotonicity, necessity and causal theories

1986 • 67 citations

Pointwise circumscription: preliminary report

1986 • 67 citations

Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning

1986 • 18 citations

A comparison of the commonsense and fixed point theories of nonmonotonicity

1986 • 9 citations

A mechanized proof procedure for free intensicnal logics

1977 • 1 citations

Exhuming the criticism of the logicist

1988 • 1 citations