Andrea Mazzullo
5 papers
· 2019–2023
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(12)
π
Conference Polyglot
(2)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π£
Hot Topic Early Bird
πΊοΈ
Taxonomy Completionist
(12)
π
Trend Setter
β
The Questioner
Conferences
AAAI (4)
IJCAI (1)
Top co-authors
Keywords
description logic
(3)
knowledge representation
(1)
computational complexity
(1)
knowledge base
(1)
formal verification
(1)
complexity analysis
(1)
first-order logic
(1)
safety verification
(1)
temporal logic
(1)
ontology learning
(1)
query language
(1)
satisfiability modulo theory
(1)
linear temporal logic
(1)
finite trace
(1)
exact learning
(1)
satisfiability modulo theories
(1)
ontology-based process
(1)
backward reachability
(1)
artifact system
(1)
ontology engineering
(1)
Papers
Do You Need Infinite Time?
IJCAI 2019