Ramification and causality
From MaRDI portal
Publication:1399132
DOI10.1016/S0004-3702(96)00033-1zbMath1018.03514MaRDI QIDQ1399132
Publication date: 30 July 2003
Published in: Artificial Intelligence (Search for Journal in Brave)
Related Items
Enablers and Inhibitors in Causal Justifications of Logic Programs, Causal Logic Programming, A preferential semantics for causal reasoning about action, Causal Graph Justifications of Logic Programs, Characterizing causal action theories and their implementations in answer set programming, Dynamic epistemic logics: promises, problems, shortcomings, and perspectives, Justifications for programs with disjunctive and causal-choice rules, Constrained consequence, Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL, Strongly Equivalent Temporal Logic Programs, A general first-order solution to the ramification problem with cycles, The ramification problem in temporal databases: Concurrent execution, ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, Approximation of action theories and its application to conformant planning, A unifying action calculus, Formalising the Fisherman's Folly puzzle, A Dynamic Logic of Institutional Actions, Reasoning about actions: steady versus stabilizing state constraints, Let's plan it deductively!, Inductive situation calculus, Metatheory of actions: beyond consistency, Frame problem in dynamic logic, The qualification problem: A solution to the problem of anomalous models, Introduction: Progress in formal commonsense reasoning, Nonmonotonic causal theories, Conditional logic of actions and causation, A causal approach to nonmonotonic reasoning
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A deductive solution for plan generation
- Linear logic
- A new deductive approach to planning
- Reasoning about action. I: A possible worlds approach
- Reasoning about action. II: The qualification problem
- Nonmonotonic logic and temporal projection
- Circumscription - a form of non-monotonic reasoning
- Frames in the space of situations
- Nonmonotonic reasoning in the framework of situation calculus
- SLDNF-resolution with equality
- Generating plans in linear logic. I: Actions as proofs
- On the completeness of SLDENF-resolution
- STRIPS: A new approach to the application of theorem proving to problem solving
- A theory of complete logic programs with equality
- A Unification Algorithm for Associative-Commutative Functions
- Representing action and change by logic programs
- How to Do Things with Worlds: on Formalizing Actions and Plans
- State Constraints Revisited
- Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
