Undoing the effects of action sequences
From MaRDI portal
Publication:946576
DOI10.1016/j.jal.2007.05.002zbMath1158.68042MaRDI QIDQ946576
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
computational complexity; reasoning about actions; execution monitoring; execution reversal; logic-based planning; reverse plans; undo actions
68Q25: Analysis of algorithms and problem complexity
68T30: Knowledge representation
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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