Manipulation of articulated objects using dual-arm robots via answer set programming

DOI10.1017/S1471068420000459MaRDI QIDQ4957224zbMATH OpenOpenAlexFDO

Authors Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, N. Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati

Publication date 3 September 2021

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.01164

zbMATH Keywords

answer set programmingmacro actionsrobots manipulation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• An ASP-based framework for the manipulation of articulated objects using dual-arm robots
• Coordinated manipulation of objects in a plane
• A Probabilistic Framework for Learning Kinematic Models of Articulated Objects
• Development and analysis of a library of actions for robot arm-hand systems
• RALPH static planner: CAD-based manipulator assembly task planning for CSG-modeled objects

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 2243407 (Why is no real title available?)
• ASP-Core-2 input language format
• An ASP-based framework for the manipulation of articulated objects using dual-arm robots
• Answer set programming and plan generation
• Constraint answer set solver EZCSP and why integration schemas matter
• Engineering and compiling planning domain models to promote validity and efficiency
• Evaluation of disjunctive programs in WASP
• Exploiting macro-actions and predicting plan length in planning as satisfiability
• Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach
• Integrating ASP into ROS for reasoning in robots
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programs with stable model semantics as a constraint programming paradigm
• Macro-operators: A weak method for learning
• Solving satisfiability problems with preferences
• The FF planning system: Fast plan generation through heuristic search
• The Seventh Answer Set Programming Competition: Design and Results
• The design of the Seventh Answer Set Programming Competition
• \textit{clingcon}: the next generation
• \textit{telingo} = ASP + time
• plasp 3: towards effective ASP planning

Cited in

(4)

• An ASP-based framework for the manipulation of articulated objects using dual-arm robots
• Development and analysis of a library of actions for robot arm-hand systems
• Envisioning the qualitative effects of robot manipulation actions using simulation-based projections
• scientific article; zbMATH DE number 797428 (Why is no real title available?)

Describes a project that uses

Uses Software

• ezcsp
• ROSoClingo
• Clingo
• Clingcon
• WASP
• plasp

This page was built for publication: Manipulation of articulated objects using dual-arm robots via answer set programming

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