Andrea Mazzullo
5 papers · 2019–2023 · 2 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 ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (12) π£ Hot Topic Early Bird β The Questioner
π
Trend Setter
Top co-authors
Research topics
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