ROSoClingo

MaRDI QIDQ25388swMATHFDO

Official website http://www.cs.uni-potsdam.de/rosoclingo/

Described by source

• Integrating ASP into ROS for reasoning in robots

Cited in

(10)

• Manipulation of articulated objects using dual-arm robots via answer set programming
• LUPS
• plasp
• Multi-shot ASP solving with clingo
• IDP3
• lp2normal
• Moviola
• ActHEX
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• Stable-unstable semantics: Beyond NP with normal logic programs

This page was built for software: ROSoClingo