Reasoning about effects of concurrent actions
- 30 June 1997
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 31 (1-3) , 85-117
- https://doi.org/10.1016/s0743-1066(96)00140-9
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Representing actions: Laws, observations and hypothesesThe Journal of Logic Programming, 1997
- The Range of Applicability of some Non-monotonic Logics for Strict InertiaJournal of Logic and Computation, 1994
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- Logic programming and reasoning with incomplete informationAnnals of Mathematics and Artificial Intelligence, 1994
- Proving properties of states in the situation calculusArtificial Intelligence, 1993
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- Acyclic programsNew Generation Computing, 1991
- Nonmonotonic reasoning in the framework of situation calculusArtificial Intelligence, 1991
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986