Explainable and trustworthy AI. In particular, verification of properties of neural networks with multi-valued description logics and Answer Set Programming. Legal decision support with Answer Set Programming.

Integration of ontology reasoning and Answer Set Programming. Several ways of combining knowledge representation and reasoning (including defeasibile reasoning) in description logics and Answer Set Programming.

Knowledge Representation and Reasoning for Process Analysis. Definining, studying and experimenting methodologies for using Answer Set Programming, ontology reasoning and their combinations, for process analysis; in particular, compliance analysis of processes (such as business processes) with norms, and analysis of conformance, including temporal conformance, of execution traces with respect to process models, with specific interest for clinical guidelines.

-------------------------------

Intelligenza Artificiale spiegabile e affidabile. In particolare, verifica di proprietà di reti neurali mediante logiche descrittive multi-valore e Answer Set Programming. Supporto alla decisione in ambito legale mediante Answer Set Programming.

Integrazione di ragionamento su ontologie e Answer Set Programming. Varie forme di combinazione di rappresentazione della conoscenza e ragionamento, anche defasibile, nelle logiche descrittive, con l’Answer Set Programming.

Verifica di processi e sistemi con metodologie di rappresentazione della conoscenza e ragionamento. In particolare, analisi di conformità di processi a norme, analisi di conformità, anche temporale, di tracce di esecuzione rispetto a modelli di processi e linee guida cliniche.