Undoing the effects of action sequences

DOI10.1016/j.jal.2007.05.002zbMath1158.68042OpenAlexW1964059186MaRDI QIDQ946576

Esra Erdem, Thomas Eiter, 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

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

Related Items (3)

Undoing the effects of action sequences ⋮ Towards the evaluation of action reversibility in STRIPS using domain generators ⋮ Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming

Uses Software

• CCalc

Cites Work

• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Nonmonotonic causal theories
• Undoing the effects of action sequences
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Business process management. International conference, BPM 2003, Eindhoven, The Netherlands, June 26--27, 2003. Proceedings.
• A structural approach to reversible computation
• A formal approach to undo operations in programming languages
• A logic programming approach to knowledge-state planning
• Computational Logic in Multi-Agent Systems
• Formalizing sensing actions -- a transition function based approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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