Reasoning about Actual and Hypothetical Occurrences of Concurrent and Non-Deterministic Actions
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- HYPOTHETICAL REASONING ABOUT ACTIONS: FROM SITUATION CALCULUS TO EVENT CALCULUSComputational Intelligence, 1996
- The Range of Applicability of some Non-monotonic Logics for Strict InertiaJournal of Logic and Computation, 1994
- Narratives in the Situation CalculusJournal 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
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Negation as FailurePublished by Springer Nature ,1978