Vol-2271⫷ Vol-2272 ⫸Vol-2273
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 |