Diego Calvanese
13 papers
· 2013–2023
· 3 conferences
· across top CS/AI conferences
Achievements
π£
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)