Alessandro Artale
6 papers · 2013–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 ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Half
๐ฃ
Hot Topic Early Bird
โ
The Questioner
๐
Conference Pioneer
Top co-authors
Research topics
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 data
(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