plasp
From MaRDI portal
Software:19138
swMATH7080MaRDI QIDQ19138FDOQ19138
Author name not available (Why is that?)
Cited In (8)
- Determining action reversibility in STRIPS using answer set and epistemic logic programming
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
- Multi-shot ASP solving with clingo
- plasp 3: towards effective ASP planning
- Gearing up for effective ASP planning
- Manipulation of articulated objects using dual-arm robots via answer set programming
- Domain-independent cost-optimal planning in ASP
- Simulation of action theories and an application to general game-playing robots
This page was built for software: plasp