Alessandro Artale
6 papers
· 2013–2023
· 2 conferences
· across top CS/AI conferences
Achievements
🏃
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
Do You Need Infinite Time?
IJCAI 2019