Workshops‎ > ‎

ricerca2019

Il gruppo di lavoro RCRA, in occasione del 18esimo convegno internazionale dell'Associazione Italiana per l'Intelligenza Artificiale (Ai*iA) che si terrà a Rende, Italia, il 19-22 Novembre 2019, organizza l'evento



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


L'evento è rivolto a tutti i partecipanti alle precedenti edizioni di RCRA, ma è aperta anche a nuovi membri. 
Scopo dell'incontro è favorire l'incontro fra i ricercatori appartenenti alle diverse aree di interesse del Gruppo di Lavoro RCRA.

Sono particolarmente adatti:
  • presentazione di gruppi di ricerca
  • presentazioni informali di progetti di ricerca
  • idee e proposte di progetto anche orientati alla ricerca di nuovi partner
  • position paper
  • presentazioni di tesi di dottorato
Paper tecnici sono comunque benvenuti.

Programma (Martedì 19 Novembre, 16:15-18)

16:15 Opening

16:25 - 17:00 Presentazioni brevi (7 min)
  • Stefania Costantini, Francesca A. Lisi, and Raffaele Olivieri.
    Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP

  • Agostina Calabrese.
    Formal Verification of Biomedical Devices via In Silico Clinical Trials on Adversarial Scenarios: A Case Study on an Artificial Pancreas for T1DM Patients

  • Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari.
    Incremental Answer Set Programming with Overgrounding

  • Elena Mastria, Jessica Zangari, Francesco Calimeri, Simona Perri.
    A Machine Learning guided Rewriting Approach for Answer Set Programs

  • Riccardi Bertolucci.
    Declarative Solutions for the the Manipulation of Articulated Objects Using Dual-Arm Robots
17:00 - 18:00 Assemblea Gruppo RCRA e conclusioni


Chairs

Marco Maratea – Università di Genova
Mauro Vallati – University of Huddersfield


Comments