18. TIME 2011:
Lübeck, Germany
Carlo Combi, Martin Leucker, Frank Wolter (Eds.):
Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011.
IEEE 2011, ISBN 978-1-4577-1242-5 
Invited Talks
Databases and Ontologies
Temporal Logics
- Mark Reynolds:
A Tableau for Until and Since over Linear Time.
41-48
- Rajeev Goré, Jimmy Thomson, Florian Widmann:
An Experimental Comparison of Theorem Provers for CTL.
49-56
- Alexei Lisitsa:
Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics.
57-63
- Sven Schewe, Cong Tian:
Synthesising Classic and Interval Temporal Logic.
64-71
- Carlo A. Furia, Paola Spoletini:
On Relaxing Metric Information in Linear Temporal Logic.
72-79
- Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier:
Linear Temporal Logic and Propositional Schemata, Back and Forth.
80-87
- David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu:
Monitoring Usage-Control Policies in Distributed Systems.
88-95
Interval Temporal Logic and Duration Calculus
- Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif:
Interleaved Programs and Rely-Guarantee Reasoning with ITL.
99-106
- Ben C. Moszkowski:
Compositional Reasoning Using Intervals and Time Reversal.
107-114
- Michael R. Hansen, Aske Wiid Brekling:
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic.
115-122
- Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
123-130
- Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.
131-138
Temporal Constraints and Natural Language
Last update Fri May 25 08:43:11 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
