Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
From MaRDI portal
Publication:1978240
DOI10.1016/S0004-3702(99)00087-9zbMATH Open0939.68840OpenAlexW2139771194MaRDI QIDQ1978240FDOQ1978240
Publication date: 4 June 2000
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00087-9
Recommendations
planningstate constraintsframe problemreasoning about actionqualification problemramification problemmodel-based reasoning
Cites Work
- GOLOG: A logic programming language for dynamic domains
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the declarative and procedural semantics of logic programs
- Reasoning about action. I: A possible worlds approach
- State Constraints Revisited
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Provably correct theories of action
- Title not available (Why is that?)
Cited In (10)
- John McCarthy's legacy
- A general first-order solution to the ramification problem with cycles
- Metatheory of actions: beyond consistency
- A unifying action calculus
- Knowledge, action, and the frame problem
- A description logic based situation calculus
- Inductive situation calculus
- Approximation of action theories and its application to conformant planning
- The aspect calculus
- A preferential semantics for causal reasoning about action
Uses Software
This page was built for publication: Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978240)
