Cited in
(27)- 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
- PDDL
- Coala
- oClingo
- Galliwasp
- Clingcon
- ASPMT2SMT
- ROSoClingo
- Harvey
- asprilo
- ArgueApply
- Catnap
- ezcsp
- GDL
- Moviola
- NoHR
- ActHEX
- asprin
- CPCES
- eclingo
- 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
