Pages that link to "Item:Q4522330"
From MaRDI portal
The following pages link to Ramification and causality in a modal action logic (Q4522330):
Displayed 8 items.
- Conditional logic of actions and causation (Q814610) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- A semantics for means-end relations (Q2460183) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY (Q4918383) (← links)
- Reasoning about manipulation in multi-agent systems (Q5048036) (← links)