plasp

MaRDI QIDQ19138swMATHFDO

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
• 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