Reasoning about actions with abductive logic programming
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 361-388
- https://doi.org/10.1007/bfb0023940
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Knowledge-based situated agents among us a preliminary reportPublished by Springer Nature ,1997
- Non-atomic actions in the situation calculusPublished by Springer Nature ,1995
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- On the Relationship Between Abduction and DeductionJournal of Logic and Computation, 1991
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Nonmonotonic reasoning in the framework of situation calculusArtificial Intelligence, 1991
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal RegressionPublished by Elsevier ,1991
- What Are the Limitations of the Situation Calculus?Published by Springer Nature ,1991
- CounterfactualsArtificial Intelligence, 1986
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985