Pages that link to "Item:Q4522330"
From MaRDI portal
The following pages link to Ramification and causality in a modal action logic (Q4522330):
Displaying 19 items.
- Conditional logic of actions and causation (Q814610) (← links)
- A preferential semantics for causal reasoning about action (Q862556) (← links)
- Ramification and causality (Q1399132) (← links)
- Specifying causality in action theories: A default logic approach (Q1575839) (← links)
- Challenges for action theories (Q1977406) (← links)
- A logic of universal causation (Q1978380) (← 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)
- (Q4731185) (← links)
- Causal dependencies in multiplicative linear logic with MIX (Q4862762) (← links)
- ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY (Q4918383) (← links)
- Reasoning about concurrent interaction (Q4934809) (← links)
- Reasoning about manipulation in multi-agent systems (Q5048036) (← links)
- Ramifications: An Extension and Correspondence Result for the Event Calculus (Q5427252) (← links)
- A Causal Analysis of Modal Syllogisms (Q6483861) (← links)
- A glance at causality theories for artificial intelligence (Q6602223) (← links)