“Metodi per il trattamento di incertezza ed imprecisione nella rappresentazione e revisione di conoscenza”
Bari, 16 dicembre 2019 – Dipartimento di Informatica, II piano, Aula 2A
09:00-09:15: OPENING
09:15-10:30: SESSION 1
“Recent Advances in Querying Probabilistic Knowledge Bases” (Thomas Lukasiewicz) – 45 min
“Summary of results and novel application areas” (Francesca A. Lisi) – 30 min
10:30-11:00: COFFEE BREAK
11:00-12:30: SESSION 2
“Probabilistic reasoning and learning at UNIFE” (Fabrizio Riguzzi & Evelina Lamma) – 15 min
“PASCAL: process mining by learning probabilistic integrity constraints” (Elena Bellodi & Marco Gavanelli) – 40 min
“Mixing LP and DL in a probabilistic framework: Probabilistic Hybrid Knowledge Bases” (Marco Alberti & Riccardo Zese) – 40 min
12:30-14:00: LUNCH BREAK
14:00-15:30: SESSION 3
“Report of research at UNIPA” (Roberto Pirrone) – 20 min
“Granular counting of uncertain data” (Corrado Mencar) – 20 min
“Beyond NP: Quantifying over Answer Sets.” (Francesco Ricca) – 20 min
“Fuzzy Answer Set Programming via Satisfiability Modulo Theories” (Mario Alviano) – 20 min
15:30-16:00: COFFEE BREAK
16:00-17:00: DISCUSSION & CLOSING