Undoing the effects of action sequences

DOI10.1016/J.JAL.2007.05.002MaRDI QIDQ946576zbMATH OpenOpenAlexFDO

Authors Thomas Eiter, Esra Erdem, Wolfgang Faber

Publication date 23 September 2008

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2007.05.002

zbMATH Keywords

computational complexityreasoning about actionsexecution monitoringexecution reversallogic-based planningreverse plansundo actions

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30)

Recommendations

• Regression planning
• On the revision of planning tasks
• A formal approach to undo operations in programming languages
• scientific article; zbMATH DE number 1354104
• Determining action reversibility in STRIPS using answer set and epistemic logic programming

Cites work

• scientific article; zbMATH DE number 1249705 (Why is no real title available?)
• scientific article; zbMATH DE number 1305704 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1142309 (Why is no real title available?)
• scientific article; zbMATH DE number 2063028 (Why is no real title available?)
• scientific article; zbMATH DE number 1931653 (Why is no real title available?)
• scientific article; zbMATH DE number 5201473 (Why is no real title available?)
• A formal approach to undo operations in programming languages
• A logic programming approach to knowledge-state planning, semantics and complexity
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• A structural approach to reversible computation
• Business process management. International conference, BPM 2003, Eindhoven, The Netherlands, June 26--27, 2003. Proceedings.
• Computational Logic in Multi-Agent Systems
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Formalizing sensing actions -- a transition function based approach
• Nonmonotonic causal theories
• Undoing the effects of action sequences

Cited in

(5)

• Undoing the effects of action sequences
• AI*IA 2005: Advances in Artificial Intelligence
• Determining action reversibility in STRIPS using answer set and epistemic logic programming
• A formal approach to undo operations in programming languages
• Towards the evaluation of action reversibility in STRIPS using domain generators

Describes a project that uses

Uses Software

• CCalc

This page was built for publication: Undoing the effects of action sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q946576)