Diego Calvanese
13 papers · 2013–2023 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (13) π£ Hot Topic Early Bird π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver
π
Conference Pioneer
π
Century Club Β· Bronze
Venues
Top co-authors
Research topics
Keywords
knowledge base
(2)
query answering
(2)
ontology-based data access
(2)
description logic
(2)
temporal logic
(1)
model checking
(1)
relational data
(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
Data Complexity of Query Answering in Description Logics (Extended Abstract)
IJCAI 2015
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
Automated Activity Recognition in Clinical Documents
IJCNLP 2013
Exchanging OWL 2 QL Knowledge Bases
IJCAI 2013
Verification of Inconsistency-Aware Knowledge and Action Bases
IJCAI 2013