3 citations · 7 across the 7 of their papers we have counts for
6 papers · 1 filter
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…
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,…
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…
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report
Ilias Tachmazidis, Sotiris Batsakis, John Davies +4
An increasing amount of information is generated from the rapidly increasing number of sensor networks and smart devices. A wide variety of sources generate and publish information…
A General Framework for Describing Creative Agents
Valerio Velardo, Mauro Vallati
Computational creativity is a subfield of AI focused on developing and studying creative systems. Few academic studies analysing the behaviour of creative agents from a theoretical…