Integrating ASP into ROS for Reasoning in Robots

DOI10.1007/978-3-319-23264-5_7zbMath1467.68187OpenAlexW2239607504MaRDI QIDQ3449192

Orkunt Sabuncu, Benjamin Andres, David Rajaratnam, Torsten Schaub

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_7

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Artificial intelligence for robotics (68T40)

Related Items (6)

Integrating ASP into ROS for Reasoning in Robots ⋮ Stable-unstable semantics: Beyond NP with normal logic programs ⋮ Unnamed Item ⋮ Multi-shot ASP solving with clingo ⋮ Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming ⋮ ROSoClingo

Uses Software

• GOLOG
• Potassco
• Clingo

Cites Work

• Integrating ASP into ROS for Reasoning in Robots
• GOLOG: A logic programming language for dynamic domains
• Multi-shot ASP solving with clingo
• Unnamed Item
• Unnamed Item

This page was built for publication: Integrating ASP into ROS for Reasoning in Robots