Researcher profile

Roberto Micalizio

2 papers in the PaperMetrix corpus

Publications

Papers by this author

Typicality-based revision for handling exceptions in Description Logics

2016 · Institutional Research Information System University of Turin (University of Turin)

We continue our investigation on how to revise a Description Logic knowledge base when detecting exceptions.Our approach relies on the methodology for debugging a Description Logic terminology, addressing the problem of diagnosing inconsistent ontologies by …
SMT-Based Diagnosis of Multi-Agent Temporal Plans

2018

The paper proposes a model and methodology for diagnosing action failures in the execution of Temporal Multi-Agent Plans (TMAPs). Contrary to previous proposals in the literature, we characterize actions with a finite set of possible …