An abductive proof procedure for reasoning about actions in modal logic programming
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 132-150
- https://doi.org/10.1007/bfb0023805
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Reasoning about actions with abductive logic programmingPublished by Springer Nature ,1997
- An abductive proof procedure for conditional logic programmingPublished by Springer Nature ,1996
- Computing the acceptability semanticsPublished by Springer Nature ,1995
- Actions with Indirect Effects (Preliminary Report)Published by Elsevier ,1994
- Interference logic = conditional logic + frame axiomInternational Journal of Intelligent Systems, 1994
- Non-monotonic reasoning with logic programmingThe Journal of Logic Programming, 1993
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- An Assumption-based Framework for Non-monotonic ReasoningPublished by MIT Press ,1993
- How to Do Things with Worlds: on Formalizing Actions and PlansJournal of Logic and Computation, 1993
- Dynamic LogicPublished by Springer Nature ,1984