Nonmonotonic causal theories
Top Cited Papers
- 23 October 2003
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 153 (1-2) , 49-104
- https://doi.org/10.1016/j.artint.2002.12.001
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Representing the Zoo World and the Traffic World in the language of the Causal CalculatorArtificial Intelligence, 2004
- The Logical Form of Action SentencesPublished by Oxford University Press (OUP) ,2001
- TALplanner: A temporal logic based forward chaining plannerAnnals of Mathematics and Artificial Intelligence, 2000
- Reasoning about effects of concurrent actionsThe Journal of Logic Programming, 1997
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- A logic-based calculus of eventsNew Generation Computing, 1986
- Negation as FailurePublished by Springer Nature ,1978
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971