Representing actions in logic programs and default theories a situation calculus approach
- 30 June 1997
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 31 (1-3) , 245-298
- https://doi.org/10.1016/s0743-1066(96)00125-2
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Revision specifications by means of programsPublished by Springer Nature ,2005
- Revision programmingTheoretical Computer Science, 1998
- Representing Incomplete Knowledge in Abductive Logic ProgrammingJournal of Logic and Computation, 1995
- From disjunctive programs to abductionPublished by Springer Nature ,1995
- State Constraints RevisitedJournal of Logic and Computation, 1994
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- How to Do Things with Worlds: on Formalizing Actions and PlansJournal of Logic and Computation, 1993
- Nonmonotonic reasoning in the framework of situation calculusArtificial Intelligence, 1991
- Reasoning about action IIArtificial Intelligence, 1988
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987