ROSoClingo

swMATH13474MaRDI QIDQ25388FDOQ25388

Author name not available (Why is that?)

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

Described by source

• Integrating ASP into ROS for reasoning in robots

Cited In (10)

• Stable-unstable semantics: Beyond NP with normal logic programs
• Title not available (Why is that?)
• LUPS
• plasp
• Multi-shot ASP solving with clingo
• IDP3
• lp2normal
• Moviola
• ActHEX
• Manipulation of articulated objects using dual-arm robots via answer set programming

This page was built for software: ROSoClingo