Skip to main content

Acta Informatica

Ausgabe 3/2016

Special Issue: Temporal Representation and Reasoning (TIME’13) - Part 2

Inhalt (3 Artikel)

Original Article

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco

Original Article

Metric temporal logic revisited

Mark Reynolds

Premium Partner