Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
- 30 June 1997
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 31 (1-3) , 119-155
- https://doi.org/10.1016/s0743-1066(96)00124-0
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Representing Incomplete Knowledge in Abductive Logic ProgrammingJournal of Logic and Computation, 1995
- Computing change and specificity with equational logic programsAnnals of Mathematics and Artificial Intelligence, 1995
- Two counterexamples related to Baker's approach to the frame problemArtificial Intelligence, 1994
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- A new deductive approach to planningNew Generation Computing, 1990
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Linear logicTheoretical Computer Science, 1987
- A deductive solution for plan generationNew Generation Computing, 1986
- A theory of complete logic programs with equalityThe Journal of Logic Programming, 1984