Possible Worlds Planning
Data up to Jan 2025
Total Citations Per Year
Abstract
References (19)
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
A Structure for Plans and Behavior
1977 • 1,180 citations
Applications of circumscription to formalizing common-sense knowledge
1986 • 1,097 citations
GPS, A PROGRAM THAT SIMULATES HUMAN THOUGHT
1988 • 836 citations
Domain-independent planning Representation and plan generation
1984 • 376 citations
A Computational Model of Skill Acquisition
1973 • 340 citations
Default reasoning, nonmonotonic logics, and the frame problem
1986 • 261 citations
ON THE SEMANTICS OF STRIPS
1987 • 231 citations
Realization of a Geometry-Theorem Proving Machine
1983 • 224 citations
Counterfactuals
1986 • 193 citations
A theory of diagnosis from first principles
1986 • 116 citations
Ordering conjunctive queries
1985 • 110 citations
An overview of meta-level architecture
1983 • 90 citations
Theorem-Proving by Resolution as a Basis for Question-Answering Systems
2010 • 90 citations
An analysis of consecutively bounded depth-first search with applications in automated deduction
1985 • 57 citations
Chronological ignorance
1987 • 20 citations