Integrating ASP into ROS for reasoning in robots

DOI10.1007/978-3-319-23264-5_7MaRDI QIDQ3449192zbMATH OpenOpenAlexFDO

Authors Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, 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)

Recommendations

• Human robot collaborative assembly planning: an answer set programming approach
• Applications of action languages in cognitive robotics
• Hybrid conditional planning using answer set programming
• Representations for robot knowledge in the \textsc{KnowRob} framework
• Multi-shot ASP solving with clingo

Cites work

• GOLOG: A logic programming language for dynamic domains
• Integrating ASP into ROS for reasoning in robots
• Logic-based agents and the frame problem: a case for progression
• Multi-shot ASP solving with clingo
• Reasoning agents in dynamic domains

Cited in

(8)

• An ASP-based framework for the manipulation of articulated objects using dual-arm robots
• Manipulation of articulated objects using dual-arm robots via answer set programming
• Integrating ASP into ROS for reasoning in robots
• ROSoClingo
• Multi-shot ASP solving with clingo
• Applications of action languages in cognitive robotics
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• Stable-unstable semantics: Beyond NP with normal logic programs

Describes a project that uses

Uses Software

• GOLOG
• Potassco
• Clingo

This page was built for publication: Integrating ASP into ROS for reasoning in robots

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449192)