|
|||||
|
|
Undoing the effects of action sequences |
|
| Authors: | Thomas Eiter Esra Erdem Wolfgang Faber |
| Institution: | aInstitute of Information Systems, Vienna University of Technology, Favoritenstraße 9-11, A-1040 Vienna, Austria;bFaculty of Engineering and Natural Sciences, Sabancı University, Orhanli, Tuzla, Istanbul 34956, Turkey;cDepartment of Mathematics, University of Calabria, Via P. Bucci, cubo 30b, 87036 Rende (CS), Italy |
| Abstract: | |
| Keywords: | Reasoning about actions Undo actions Reverse plans Execution reversal Computational complexity Logic-based planning Execution monitoring |
| 本文献已被 ScienceDirect 等数据库收录！ | |