Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming
From MaRDI portal
Publication:5019605
DOI10.1017/S1471068421000429OpenAlexW3203853321MaRDI QIDQ5019605
Lukáš Chrpa, Michael Morak, Wolfgang Faber
Publication date: 10 January 2022
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.05428
answer set programmingreasoning about action and changeepistemic logic programmingaction reversibility
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Agent planning programs
- Undoing the effects of action sequences
- The computational complexity of propositional STRIPS planning
- On the computational cost of disjunctive logic programming: Propositional case
- STRIPS: A new approach to the application of theorem proving to problem solving
- Revisiting Epistemic Specifications
- plasp 3: Towards Effective ASP Planning