Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming

DOI10.1017/S1471068420000459OpenAlexW3096863422MaRDI QIDQ4957224

Alessio Capitanelli, Mauro Vallati, Riccardo Bertolucci, Marco Maratea, Fulvio Mastrogiovanni, Carmine Dodaro, Nicola Leone

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)

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving satisfiability problems with preferences
• Macro-operators: A weak method for learning
• Engineering and compiling planning domain models to promote validity and efficiency
• Answer set programming and plan generation
• Logic programs with stable model semantics as a constraint programming paradigm
• An ASP-based framework for the manipulation of articulated objects using dual-arm robots
• Evaluation of disjunctive programs in WASP
• \textit{telingo} = ASP + time
• The design of the Seventh Answer Set Programming Competition
• plasp 3: towards effective ASP planning
• Integrating ASP into ROS for Reasoning in Robots
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Exploiting macro-actions and predicting plan length in planning as satisfiability
• Clingcon: The next generation
• Constraint answer set solver EZCSP and why integration schemas matter
• The Seventh Answer Set Programming Competition: Design and Results
• ASP-Core-2 Input Language Format
• Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach