Integrating ASP into ROS for reasoning in robots

DOI10.1007/978-3-319-23264-5_7zbMATH Open1467.68187OpenAlexW2239607504MaRDI QIDQ3449192FDOQ3449192

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

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

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)