12 citations · 25 across the 14 of their papers we have counts for
14 papers
Competitions in AI -- Robustly Ranking Solvers Using Statistical Resampling
Chris Fawcett, Mauro Vallati, Holger H. Hoos +1
Solver competitions play a prominent role in assessing and advancing the state of the art for solving many problems in AI and beyond. Notably, in many areas of AI, competitions hav…
Reformulation Techniques for Automated Planning: A Systematic Review
Diaeddin Alarnaouti, George Baryannis, Mauro Vallati
Automated planning is a prominent area of Artificial Intelligence, and an important component for intelligent autonomous agents. A cornerstone of domain-independent planning is the…
On the Configuration of More and Less Expressive Logic Programs
Carmine Dodaro, Marco Maratea, Mauro Vallati
The decoupling between the representation of a certain problem, i.e., its knowledge model, and the reasoning side is one of main strong points of model-based Artificial Intelligenc…
Fudge: A light-weight solver for abstract argumentation based on SAT reductions
Matthias Thimm, Federico Cerutti, Mauro Vallati
We present Fudge, an abstract argumentation solver that tightly integrates satisfiability solving technology to solve a series of abstract argumentation problems. While most of the…
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity
Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea +2
This paper addresses two intertwined needs for collaborative robots operating in shop-floor environments. The first is the ability to perform complex manipulation operations, such…
On the Importance of Domain Model Configuration for Automated Planning Engines
Mauro Vallati, Lukas Chrpa, Thomas L. McCluskey +1
The development of domain-independent planners within the AI Planning community is leading to "off-the-shelf" technology that can be used in a wide range of applications. Moreover,…