The following pages link to Ramification and causality (Q1399132):
Displaying 29 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)
- Strongly Equivalent Temporal Logic Programs (Q3532454) (← links)
- The ramification problem in temporal databases: Concurrent execution (Q3563646) (← links)
- Frame problem in dynamic logic (Q3647228) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
- ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY (Q4918383) (← links)
- A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence (Q5172603) (← links)
- A glance at causality theories for artificial intelligence (Q6602223) (← links)
