Alessandro Artale
Libera Università di Bolzano
H-index: 30
Europe-Italy
Top articles of Alessandro Artale
LTL over finite words can be exponentially more succinct than pure-past LTL, and vice versa
2023
Alessandro Artale
H-Index: 18
Nicola Gigante
H-Index: 5
Andrea Mazzullo
H-Index: 2
Angelo Montanari
H-Index: 18
Living without Beth and Craig: Definitions and interpolants in description and modal logics with nominals and role inclusions
ACM Transactions on Computational Logic
2023/10/10
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version)
arXiv preprint arXiv:2308.08640
2023/8/16
Alessandro Artale
H-Index: 18
Andrea Mazzullo
H-Index: 2
A singly exponential transformation of LTL [X, F] into pure past LTL
2023/8/1
Alessandro Artale
H-Index: 18
Nicola Gigante
H-Index: 5
Andrea Mazzullo
H-Index: 2
Angelo Montanari
H-Index: 18
Complexity of safety and cosafety fragments of linear temporal logic
Proceedings of the AAAI Conference on Artificial Intelligence
2023/6/26
Alessandro Artale
H-Index: 18
Nicola Gigante
H-Index: 5
Andrea Mazzullo
H-Index: 2
Angelo Montanari
H-Index: 18
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies
2023
A decidable temporal DL-Lite logic with undecidable first-order and datalog-rewritability of ontology-mediated atomic queries
2023
First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries
Journal of Artificial Intelligence Research
2022/11/30
First-order Temporal Logic on Finite Traces
arXiv preprint arXiv:2202.00610
2022/2
Alessandro Artale
H-Index: 18
Andrea Mazzullo
H-Index: 2
First-order temporal logic on finite traces: Semantic properties, decidable fragments, and applications
ACM Transactions on Computational Logic
2022/2/1
Alessandro Artale
H-Index: 18
Andrea Mazzullo
H-Index: 2
First-order rewritability of ontology-mediated queries in linear temporal logic
Artificial Intelligence
2021/10/1
On free description logics with definite descriptions
2021/6/29
Abstracting temporal aboxes in tdl-lite
2021
Alessandro Artale
H-Index: 18
Finite vs. Infinite Traces in Temporal Logics.
2020/9/25
Alessandro Artale
H-Index: 18
Andrea Mazzullo
H-Index: 2
Automated reasoning in temporal DL-Lite
arXiv preprint arXiv:2008.07463
2020/8/17
German Braun
H-Index: 6
Alessandro Artale
H-Index: 18