The Community for Technology Leaders
2013 20th International Symposium on Temporal Representation and Reasoning (TIME) (2013)
Pensacola, FL, USA
Sept. 26, 2013 to Sept. 28, 2013
ISSN: 1530-1311
ISBN: 978-1-4799-2240-6
TABLE OF CONTENTS

Cover Art (PDF)

pp. C4

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Copyright Page (PDF)

pp. iv

Table of Contents (PDF)

pp. v-vi

Reviewers (PDF)

pp. xi-xii

Rethinking Logics of Action and Time (Abstract)

James F. Allen , Dept. of Comput. Sci., Univ. of Rochester, Rochester, NY, USA
pp. 3-4

Incremental, Inductive Model Checking (Abstract)

Aaron R. Bradley , Univ. of Colorado at Boulder, Boulder, CO, USA
pp. 5-6

Spatio-temporal Competition for Transportation Resources (Abstract)

Ouri Wolfson , Dept. of Comput. Sci., Univ. of Illinois at Chicago, Chicago, IL, USA
pp. 7-8

Minimal Consistency Problem of Temporal Qualitative Constraint Networks (Abstract)

Jean-Francois Condotta , Univ. Lille-Nord de France, Lens, France
Souhila Kaci , Univ. Montpellier 2, Montpellier, France
pp. 11-18

Optimal Design of Consistent Simple Temporal Networks (Abstract)

Romeo Rizzi , Comput. Sci. Dept., Univ. of Verona, Verona, Italy
Roberto Posenato , Comput. Sci. Dept., Univ. of Verona, Verona, Italy
pp. 19-25

Relaxation of Temporal Planning Problems (Abstract)

Martin C. Cooper , IRIT, Univ. of Toulouse, Toulouse, France
Frédéric Maris , IRIT, Univ. of Toulouse, Toulouse, France
Pierre Régnier , IRIT, Univ. of Toulouse, Toulouse, France
pp. 37-44

A Labeled Deduction System for the Logic UB (Abstract)

Carlos Caleiro , Dept. Math., Tech. Univ. Lisbon, Lisbon, Portugal
Luca Viganò , Dipt. di Inf., Univ. di Verona, Verona, Italy
Marco Volpe , Dipt. di Inf., Univ. di Verona, Verona, Italy
pp. 45-53

A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders (Abstract)

Luca Aceto , Sch. of Comput. Sci., Reykjavik Univ., Reykjavik, Iceland
Dario Della Monica , Sch. of Comput. Sci., Reykjavik Univ., Reykjavik, Iceland
Anna Ingolfsdottir , Sch. of Comput. Sci., Reykjavik Univ., Reykjavik, Iceland
Angelo Montanari , Dept. of Math. & Comput. Sci., Univ. of Udine, Udine, Italy
Guido Sciavicco , Dept. of Inf. Eng. & Commun., Univ. of Murcia, Murcia, Spain
pp. 65-72

A New Metric Temporal Logic for Hybrid Systems (Abstract)

Mark Reynolds , Sch. of Comput. Sci. & Software Eng., Univ. of Western Australia, Perth, WA, Australia
pp. 73-80

An Algebraic System of Temporal Structures (Abstract)

Tim French , Sch. of Comput. Sci. & Software Eng., Univ. of Western Australia, Crawley, WA, Australia
John McCabe-Dansted , Sch. of Comput. Sci. & Software Eng., Univ. of Western Australia, Crawley, WA, Australia
Mark Reynolds , Sch. of Comput. Sci. & Software Eng., Univ. of Western Australia, Crawley, WA, Australia
pp. 81-88

A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic (Abstract)

Marcello M. Bersani , Dipt. di Elettron. Inf. e Bioingegneria, Politec. di Milano, Milan, Italy
Matteo Rossi , Dipt. di Elettron. Inf. e Bioingegneria, Politec. di Milano, Milan, Italy
Pierluigi San Pietro , Dipt. di Elettron. Inf. e Bioingegneria, Politec. di Milano, Milan, Italy
pp. 99-106

Complexity of Model Checking over General Linear Time (Abstract)

Tim French , Sch. of Comput. Sci. & Software Eng., Univ. of Western Australia, Perth, WA, Australia
John McCabe-Dansted , Sch. of Comput. Sci. & Software Eng., Univ. of Western Australia, Perth, WA, Australia
Mark Reynolds , Sch. of Comput. Sci. & Software Eng., Univ. of Western Australia, Perth, WA, Australia
pp. 107-114

Event Algebra for Transition Systems Composition - Application to Timed Automata (Abstract)

Elie Fares , IRIT, Univ. de Toulouse, Toulouse, France
Jean-Paul Bodeveix , IRIT, Univ. de Toulouse, Toulouse, France
Mamoun Filali , IRIT, Univ. de Toulouse, Toulouse, France
pp. 125-132

Author Index (PDF)

pp. 141

Roster Page (PDF)

pp. 142
84 ms
(Ver 3.3 (11022016))