Diego Calvanese
13 papers · 2013–2023 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (13) π Conference Polyglot (3)
π
Academic Marathon
(10)
π
Cross-Pollinator
(7)
π
Renaissance Researcher
(5)
π
Century Club
(13)
π
Conference Pioneer
Conferences
IJCAI (11)
AAAI (1)
IJCNLP (1)
Top co-authors
Keywords
knowledge base
(2)
query answering
(2)
ontology-based data access
(2)
description logic
(2)
temporal logic
(1)
model checking
(1)
relational datum
(1)
satisfiability modulo theory
(1)
conjunctive query
(1)
data complexity
(1)
semantic query
(1)
semantic web
(1)
finite trace
(1)
semantic integration
(1)
satisfiability modulo theories
(1)
ontology-based process
(1)
backward reachability
(1)
artifact system
(1)
infinite trace
(1)
semantic paradigm
(1)
Papers
SMT Safety Verification of Ontology-Based Processes
AAAI 2023
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces
IJCAI 2022
Counting Query Answers over a DL-Lite Knowledge Base
IJCAI 2020
Enriching Ontology-based Data Access with Provenance
IJCAI 2019
Ontology-Based Data Access: A Survey
IJCAI 2018
Plan Synthesis for Knowledge and Action Bases
IJCAI 2016
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
IJCAI 2015
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies
IJCAI 2015
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
IJCAI 2015
Data Complexity of Query Answering in Description Logics (Extended Abstract)
IJCAI 2015
Verification of Inconsistency-Aware Knowledge and Action Bases
IJCAI 2013
Exchanging OWL 2 QL Knowledge Bases
IJCAI 2013
Automated Activity Recognition in Clinical Documents
IJCNLP 2013