Volume 53, Issue 3 | Acta Informatica

Search all Acta Informatica articles

Volume 53, Issue 3

April 2016

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

Issue Editors:

Cesar Sanchez,
K. Brent Venable,
Esteban Zimanyi

3 articles in this issue

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases
Luca Aceto
Dario Della Monica
Guido Sciavicco
Original Article 14 May 2015 Pages: 207 - 246
Extracting unsatisfiable cores for LTL via temporal resolution
Viktor Schuppan
Original Article 31 May 2015 Pages: 247 - 299
Metric temporal logic revisited
Mark Reynolds
Original Article 13 June 2015 Pages: 301 - 324