135 citations · 135 across the 3 of their papers we have counts for
6 papers
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro +4
The manipulation of articulated objects is of primary importance in Robotics, and can be considered as one of the most complex manipulation tasks. Traditionally, this problem has b…
ASP-Core-2 Input Language Format
Francesco Calimeri, Wolfgang Faber, Martin Gebser +7
Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual…
Design and Results of the Second International Competition on Computational Models of Argumentation
Sarah A. Gaggl, Thomas Linsbichler, Marco Maratea +1
Argumentation is a major topic in the study of Artificial Intelligence. Since the first edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed in…
Abstract Solvers for Computing Cautious Consequences of ASP programs
Giovanni Amendola, Carmine Dodaro, Marco Maratea
Abstract solvers are a method to formally analyze algorithms that have been profitably used for describing, comparing and composing solving techniques in various fields such as Pro…
The Seventh Answer Set Programming Competition: Design and Results
Martin Gebser, Marco Maratea, Francesco Ricca
Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized i…
On the manipulation of articulated objects in human-robot cooperation scenarios
Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni +1
Articulated and flexible objects constitute a challenge for robot manipulation tasks but are present in different real-world settings, including home and industrial environments. C…