Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)

DOI10.1016/S0004-3702(99)00087-9MaRDI QIDQ1978240zbMATH OpenOpenAlexFDO

Authors Sheila A. McIlraith

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

zbMATH Keywords

frame problemmodel-based reasoningplanningqualification problemramification problemreasoning about actionstate constraints

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• State Constraints Revisited
• Reasoning about action. II: The qualification problem
• scientific article; zbMATH DE number 89002
• A general first-order solution to the ramification problem with cycles

Cites work

• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 4174354 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1302017 (Why is no real title available?)
• scientific article; zbMATH DE number 592368 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1390356 (Why is no real title available?)
• scientific article; zbMATH DE number 3298340 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• On the declarative and procedural semantics of logic programs
• Provably correct theories of action
• Reasoning about action. I: A possible worlds approach
• State Constraints Revisited

Cited in

(13)

• Inductive situation calculus
• Metatheory of actions: beyond consistency
• Reasoning about actions: steady versus stabilizing state constraints
• The aspect calculus
• A general first-order solution to the ramification problem with cycles
• State Constraints Revisited
• scientific article; zbMATH DE number 1051243 (Why is no real title available?)
• John McCarthy's legacy
• Approximation of action theories and its application to conformant planning
• A unifying action calculus
• A description logic based situation calculus
• Knowledge, action, and the frame problem
• A preferential semantics for causal reasoning about action

Describes a project that uses

Uses Software

• GOLOG

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)