A simple declarative language for describing narratives with actions
From MaRDI portal
Publication:4352533
DOI10.1016/S0743-1066(96)00138-0zbMath0880.68009WikidataQ62615152 ScholiaQ62615152MaRDI QIDQ4352533
Publication date: 23 October 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
A Language for Default Reasoning about Actions, Modular action language, Probabilistic reasoning about epistemic action narratives, A general first-order solution to the ramification problem with cycles, Event calculus and temporal action logics compared, The ramification problem in temporal databases: Concurrent execution, \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem, Structural Analysis of Narratives with the Coq Proof Assistant, Formalizing narratives using nested circumscription