Volume 53, Issue 2 | Acta Informatica

Search all Acta Informatica articles

Volume 53, Issue 2

March 2016

Special Issue: Temporal representation and reasoning (TIME’13) – Part 1

Issue Editors:

Cesar Sanchez,
K. Brent Venable,
Esteban Zimanyi

4 articles in this issue

Special issue on temporal representation and reasoning (TIME’13)
Cesar Sanchez
K. Brent Venable
Esteban Zimanyi
Editorial 10 February 2016 Pages: 87 - 88
Efficient execution of dynamically controllable simple temporal networks with uncertainty
Luke Hunsberger
Original Article 01 May 2015 Pages: 89 - 147
Optimization in temporal qualitative constraint networks
Jean-François Condotta
Souhila Kaci
Yakoub Salhi
Original Article 16 April 2015 Pages: 149 - 170
A tool for deciding the satisfiability of continuous-time metric temporal logic
Marcello M. Bersani
Matteo Rossi
Pierluigi San Pietro
Original Article 21 April 2015 Pages: 171 - 206