On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders

Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco. On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. In Eduardo Fermé, João Leite, editors, Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. Volume 8761 of Lecture Notes in Computer Science, pages 267-281, Springer, 2014. [doi]

Abstract

Abstract is missing.