An analysis of systematic approaches to reasoning about actions and change
Data up to Jan 2025
Total Citations Per Year
Abstract
References (9)
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
Nonmonotonic reasoning in the framework of situation calculus
1991 • 128 citations
Representing concurrent actions in extended logic programming
1993 • 65 citations
Soundness and completeness theorems for three formalizations of action
1993 • 63 citations
Representing incomplete knowledge in abductive logic programming
1993 • 48 citations
The range of applicability of nonmonotonic logics for the inertia problem
1993 • 42 citations
Representing actions in logic programming and its applications in database updates
1993 • 38 citations
Representing Actions in Equational Logic Programming
1994 • 27 citations