|  | 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|