plasp

swMATH7080MaRDI QIDQ19138FDOQ19138

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-20895-9_41

Described by source

• plasp 3: towards effective ASP planning

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
• Multi-shot ASP solving with clingo
• Harvey
• asprilo
• ArgueApply
• Catnap
• ezcsp
• GDL
• Moviola
• NoHR
• ActHEX
• asprin
• CPCES
• eclingo
• 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