Proving properties of states in the situation calculus
Data up to Jan 2025
Total Citations Per Year
Abstract
References (18)
Some Philosophical Problems from the Standpoint of Artificial Intelligence
1981 • 3,219 citations
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
1991 • 728 citations
Towards a Logical Reconstruction of Relational Database Theory
1984 • 588 citations
State Constraints Revisited
1994 • 240 citations
On conceptual modelling : perspectives from artificial intelligence, databases, and programming languages
1984 • 214 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
Exploiting constraints in design synthesis
1987 • 128 citations
Automatic verification of database transaction safety
1989 • 125 citations
Knowledge Representation and Defeasible Reasoning
1990 • 124 citations
What should a database know?
1992 • 101 citations
The Case for Domain-Specific Frame Axioms
1987 • 98 citations
What Are the Limitations of the Situation Calculus?
1991 • 96 citations
Theorem-Proving by Resolution as a Basis for Question-Answering Systems
2010 • 90 citations
On specifying database updates
1995 • 77 citations
On formalizing database updates: Preliminary report
2005 • 30 citations
Toward a Metatheory of Action.
1991 • 22 citations
Provably correct theories of action
1991 • 17 citations