The following pages link to Ramification and causality (Q1399132):
Displaying 21 items.
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- A unifying action calculus (Q543584) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Conditional logic of actions and causation (Q814610) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- A preferential semantics for causal reasoning about action (Q862556) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Reasoning about actions: steady versus stabilizing state constraints (Q1274697) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- Constrained consequence (Q1941731) (← links)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Causal Logic Programming (Q2900512) (← links)
- Causal Graph Justifications of Logic Programs (Q2931267) (← links)
- A Dynamic Logic of Institutional Actions (Q3092309) (← links)
- Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204) (← links)
