Ramification and causality in a modal action logic
From MaRDI portal
Publication:4522330
DOI10.1093/logcom/10.5.625zbMath0966.68196MaRDI QIDQ4522330
Alberto Martelli, Camilla B. Schwind, Laura Giordano
Publication date: 19 December 2000
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/10.5.625
Related Items
ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY, Reasoning about manipulation in multi-agent systems, Conditional logic of actions and causation, t-DeLP: an argumentation-based temporal defeasible logic programming framework, Specifying and verifying interaction protocols in a temporal action logic, A semantics for means-end relations, Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL, Stable Models for Temporal Theories