Andrea Mazzullo
5 papers · 2019–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π 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
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
AAAI 2023
SMT Safety Verification of Ontology-Based Processes
AAAI 2023
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
AAAI 2021
Learning Query Inseparable Ξ΅ββ Ontologies
AAAI 2020
Do You Need Infinite Time?
IJCAI 2019