An abductive event calculus planner
- 1 July 2000
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 44 (1-3) , 207-240
- https://doi.org/10.1016/s0743-1066(99)00077-1
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- SLDNFA: An abductive procedure for abductive logic programsThe Journal of Logic Programming, 1998
- The IFF proof procedure for abductive logic programmingThe Journal of Logic Programming, 1997
- GOLOG: A logic programming language for dynamic domainsThe Journal of Logic Programming, 1997
- Fast planning through planning graph analysisArtificial Intelligence, 1997
- EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUSComputational Intelligence, 1996
- CONSTRAINED RESOLUTION AND ABDUCTTVE TEMPORAL REASONINGComputational Intelligence, 1996
- Planning for conjunctive goalsArtificial Intelligence, 1987
- A logic-based calculus of eventsNew Generation Computing, 1986
- Algorithm = logic + controlCommunications of the ACM, 1979
- Application of Theorem Proving to Problem SolvingPublished by Defense Technical Information Center (DTIC) ,1969