Volume 53, Issue 6-8

October 2016

Special Issue: Selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)

Issue Editors:

7 articles in this issue

Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)
Davide Bresolin
Guido Sciavicco
Editorial 04 March 2016 Pages: 545 - 546
Mining approximate interval-based temporal dependencies
Carlo Combi
Pietro Sala
Original Paper 14 September 2015 Pages: 547 - 585
Checking interval properties of computations
Alberto Molinari
Angelo Montanari
Adriano Peron
Original Article 19 November 2015 Pages: 587 - 619
Metric propositional neighborhood logic with an equivalence relation
Angelo Montanari
Marco Pazzaglia
Pietro Sala
Original Article 22 January 2016 Pages: 621 - 648
Planning and execution with flexible timelines: a formal account
Marta Cialdea Mayer
Andrea Orlandini
Alessandro Umbrico
Original Article 11 December 2015 Pages: 649 - 680
Dynamic controllability via Timed Game Automata
Alessandro Cimatti
Luke Hunsberger
Marco Roveri
Original Article 01 February 2016 Pages: 681 - 722
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification
Mikael Nilsson
Jonas Kvarnström
Patrick Doherty
Original Article 22 October 2015 Pages: 723 - 752

Search