ROSoClingo

swMATH13474MaRDI QIDQ25388FDOQ25388

Author name not available (Why is that?)

Described by source

• Integrating ASP into ROS for Reasoning in Robots

Cited In (4)

• Stable-unstable semantics: Beyond NP with normal logic programs
• Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
• Title not available (Why is that?)
• Multi-shot ASP solving with clingo

This page was built for software: ROSoClingo