Undoing the effects of action sequences

DOI10.1016/J.JAL.2007.05.002zbMATH Open1158.68042OpenAlexW1964059186MaRDI QIDQ946576FDOQ946576

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

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

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)

Cites Work

• Nonmonotonic causal theories
• Title not available (Why is that?)
• A structural approach to reversible computation
• A formal approach to undo operations in programming languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Title not available (Why is that?)
• Formalizing sensing actions -- a transition function based approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Business process management. International conference, BPM 2003, Eindhoven, The Netherlands, June 26--27, 2003. Proceedings.
• Title not available (Why is that?)
• Computational Logic in Multi-Agent Systems
• Undoing the effects of action sequences

Cited In (5)

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

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)