Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming.
Saved in:
| Title: | Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. |
|---|---|
| Authors: | FABER, WOLFGANG1 (AUTHOR) wolfgang.faber@aau.at, MORAK, MICHAEL1 (AUTHOR) michael.morak@aau.at, CHRPA, LUKÁŠ2 (AUTHOR) chrpaluk@fel.cvut.cz |
| Source: | Theory & Practice of Logic Programming. Sep2021, Vol. 21 Issue 5, p646-662. 17p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068421000429 |