Proceedings

Diego Calvanese

Free University of Bozen- Bolzano , Italy; Umeå University , Sweden

17 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

IJCAI 2016

Plan Synthesis for Knowledge and Action Bases
with Marco Montali, Fabio Patrizi, Michele Stawowy
Details PDF

IJCAI 2015

Data Complexity of Query Answering in Description Logics (Extended Abstract)
with Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Details PDF
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
with Marco Montali, Fabio Patrizi, Giuseppe De Giacomo
Details PDF
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies
with Giuseppe De Giacomo, Mikhail Soutchanski
Details PDF
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
with Marco Montali, Ario Santoso
Details PDF

IJCAI 2013

Exchanging OWL 2 QL Knowledge Bases
with Marcelo Arenas, Elena Botoeva, Vladislav Ryzhikov
Details PDF
Verification of Inconsistency-Aware Knowledge and Action Bases
with Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
Details PDF

IJCAI 2011

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics
with Domenico Carbotta, Magdalena Ortiz
doi:10.5591/978-1-57735-516-8/IJCAI11-140
Details PDF
Containment of Regular Path Queries under Description Logic Constraints
with Magdalena Ortiz, Mantas Simkus
doi:10.5591/978-1-57735-516-8/IJCAI11-141
Details PDF

IJCAI 2009

Regular Path Queries in Expressive Description Logics with Nominals
with Thomas Eiter, Magdalena Ortiz
Details PDF

IJCAI 2007

EQL-Lite: Effective First-Order Query Processing in Description Logics
with Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Details PDF

IJCAI 2001

Identification Constraints and Functional Dependencies in Description Logics
with Giuseppe De Giacomo, Maurizio Lenzerini
Details PDF

IJCAI 1999

Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
with Giuseppe De Giacomo, Maurizio Lenzerini
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards