Diego Calvanese

4 papers in the IJCAI proceedings

IJCAI 2022

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces

with Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

doi:10.24963/ijcai.2022/354

Details PDF

IJCAI 2020

Counting Query Answers over a DL-Lite Knowledge Base

with Julien Corman, Davide Lanti, Simon Razniewski

doi:10.24963/ijcai.2020/230

Details PDF

IJCAI 2019

Enriching Ontology-based Data Access with Provenance

with Davide Lanti, Ana Ozaki, Rafael Penaloza, Guohui Xiao

doi:10.24963/ijcai.2019/224

Details PDF

IJCAI 2018

Ontology-Based Data Access: A Survey

with Guohui Xiao, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev

doi:10.24963/ijcai.2018/777

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings