Ramification and causality
- 1 January 1997
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 89 (1-2) , 317-364
- https://doi.org/10.1016/s0004-3702(96)00033-1
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systemsThe Journal of Logic Programming, 1997
- 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
- Reasoning about action IArtificial Intelligence, 1988
- Linear logicTheoretical Computer Science, 1987
- A deductive solution for plan generationNew Generation Computing, 1986
- Unification in datastructure multisetsJournal of Automated Reasoning, 1986
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971