17. TIME 2010:
Paris,
France
Nicolas Markey, Jef Wijsen (Eds.):
TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010.
IEEE Computer Society 2010, ISBN 978-0-7695-4187-7
Invited Talks
Temporal Logics
- John Christopher McCabe-Dansted, Clare Dixon:
CTL-Like Fragments of a Temporal Logic of Robustness.
11-18
- Philippe Balbiani:
Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints.
19-26
- Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala:
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders.
27-34
- Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan:
Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic.
35-42
- Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems.
43-50
- François Laroussinie, Antoine Meyer, Eudes Petonnet:
Counting LTL.
51-58
Real-Time Systems
Spatial and Temporal Reasoning
Planning and Control
Databases
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