Alessandro Artale
6 papers · 2013–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🏃 Academic Marathon (10) 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15) 🌍 Conference Polyglot (2) 🧭 Keyword Pioneer
🚀
Conference Pioneer
❓
The Questioner
Conferences
IJCAI (4)
AAAI (2)
Top co-authors
Keywords
linear temporal logic
(2)
first-order logic
(2)
computational complexity
(1)
formal verification
(1)
complexity analysis
(1)
temporal logic
(1)
query rewriting
(1)
description logic
(1)
ontology-mediated query
(1)
finite trace
(1)
temporal datum
(1)
first-order rewritability
(1)
ontology engineering
(1)
monadic first-order logic
(1)
ontology-mediated queries
(1)
craig interpolation
(1)
beth definability
(1)
cosafety fragment
(1)
role inclusion
(1)
automated planning
(1)
Papers
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
AAAI 2023
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
IJCAI 2022
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
AAAI 2021
Do You Need Infinite Time?
IJCAI 2019
First-Order Rewritability of Temporal Ontology-Mediated Queries
IJCAI 2015
Temporal Description Logic for Ontology-Based Data Access
IJCAI 2013