GOLOG: A logic programming language for dynamic domains

Intelligent agents: theory and practice

1995 • 6,501 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

Agent-oriented programming

1993 • 1,995 citations

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

1991 • 728 citations

Logics of Time and Computation

1987 • 593 citations

ADL: exploring the middle ground between STRIPS and the situation calculus

1989 • 486 citations

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95

1995 • 352 citations

THE SYNTHESIS OF DIGITAL MACHINES WITH PROVABLE EPISTEMIC PROPERTIES

1986 • 292 citations

Achieving Several Goals Simultaneously**The research reported herein was sponsored by the National Science Foundation under Grant GJ-36146.

1981 • 274 citations

The frame problem and knowledge-producing actions

1993 • 255 citations

State Constraints Revisited

1994 • 240 citations

What is planning in the presence of sensing

1996 • 218 citations

Embracing causality in specifying the indirect effects of actions

1995 • 212 citations

Proceedings of the first international conference on Principles of knowledge representation and reasoning

1989 • 184 citations

Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy

1991 • 175 citations

Monotonic Solution of The Frame Problem in The Situation Calculus

1990 • 173 citations

Natural actions, concurrency and continuous time in the situation calculus

1996 • 159 citations

An overview of transaction logic

1994 • 152 citations

Temporal reasoning in the situation calculus

1994 • 147 citations

Proving properties of states in the situation calculus

1993 • 140 citations

Denotational Semantics

1977 • 136 citations

Knowledge Representation and Defeasible Reasoning

1990 • 124 citations

Foundations of a logical approach to agent programming

1996 • 116 citations

Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge

1986 • 103 citations

The Case for Domain-Specific Frame Axioms

1987 • 98 citations

Theorem-Proving by Resolution as a Basis for Question-Answering Systems

2010 • 90 citations

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

1994 • 89 citations

Reasoning about noisy sensors in the situation calculus

1995 • 82 citations

How to clear a block: A theory of plans

1987 • 68 citations

How to progress a database II: the STRIPS connection

1995 • 24 citations

How to Progress a Database (and Why) I. Logical Foundations

1994 • 23 citations

Interval situation calculus

1994 • 9 citations

Embedded computation and the semantics of programs

1992 • 9 citations

Modeling complex systems in the situation calculus: a case study using the dagstuhl steam boiler problem

1996 • 5 citations

Deleted Work

1955 • 0 citations