Vol-2272
urn:nbn:de:0074-2272-0

Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

RiCeRcA 2018
R.i.C.e.R.c.A: RCRA Incontri E Confronti

Proceedings of the RiCeRcA Workshop
co-located with the 17th International Conference of the Italian Association for Artificial Intelligence (Ai*iA 2018)

Trento, Italy, November 22, 2018.

Edited by

Marco Maratea *
Mauro Vallati **

* University of Genova, DIBRIS, Genova, Italy
** University of Huddersfield, School of Computing and Engineering, Huddersfield, UK

Table of Contents

Organization

Regular Papers

Vision Inspection with Neural Networks
Arnaud Nguembang Fadja, Evelina Lamma, Fabrizio Riguzzi

Short Papers

Solving the Stable Roommates Problem using Incoherent Answer Set Programs
Giovanni Amendola
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming
Giovanni Amendola
KR&R Approaches for Robot Manipulation Tasks with Articulated Objects
Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation
Pierangela Bruno, Paolo Zaffino, Salvatore Scaramuzzino, Salvatore De Rosa, Ciro Indolfi, Francesco Calimeri, Maria Francesca Spadea
An Overview of ASP Applications in the Health-care Domain
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
Voting with Random Neural Networks: a Democratic Ensemble Classifier
Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi
Compute Paracoherent Answer Sets via Saturation
Francesco Ricca

2018-12-11: submitted by Mauro Vallati, metadata incl. bibliographic data published under Creative Commons CC0
2018-12-11: published on CEUR-WS.org |valid HTML5|