![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
19th TIME 2012: Leicester, United Kingdom
- Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani:
19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2659-9
Invited Talks
- Valentin Goranko:
Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. 3-4 - Natasha Alechina:
Reasoning about Plan Revision in Agent Programs. 5 - Esteban Zimányi:
Spatio-temporal Data Warehouses and Mobility Data: Current Status and Research Issues. 6-9
Point-Based Temporal Logics
- César Sánchez, Julián Samborski-Forlese:
Efficient Regular Linear Temporal Logic Using Dualization and Stratification. 13-20 - Amir Niknafs-Kermani, Boris Konev, Michael Fisher
:
Symmetric Temporal Theorem Proving. 21-28 - John Christopher McCabe-Dansted:
A Tableau for the Combination of CTL and BCTL*. 29-36
Intervals and Interval Temporal Logics
- Angelo Montanari, Pietro Sala
:
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. 39-46 - Willem Conradie
, Salih Durhan, Guido Sciavicco
:
An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. 47-54
Timed Automata and Metric Temporal Logics
- Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali:
Compositional Refinement for Real-Time Systems with Priorities. 57-64 - Omar I. Al-Bataineh, Tim French
, Terry Woodings:
Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. 65-72 - Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro:
Robustness Analysis for Scheduling Problems Using the Inverse Method. 73-80 - Luca Ferrucci
, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
A Metric Temporal Logic for Dealing with Zero-Time Transitions. 81-88 - Carlo A. Furia, Paola Spoletini
:
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. 89-96
Temporal Constraints, Natural Language and Machine Learning
- Hubie Chen, Michal Wrona:
Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction. 99-106 - Hector Llorens, Naushad UzZaman, James F. Allen:
Merging Temporal Annotations. 107-113 - Renata C. B. Madeo, Clodoaldo Ap. M. Lima
, Sarajane Marques Peres
:
A Review on Temporal Reasoning Using Support Vector Machines. 114-121
Databases and Data Streams
- Kyriacos E. Pavlou, Richard T. Snodgrass:
Temporal Implications of Database Information Accountability. 125-132 - Chongsheng Zhang, Florent Masseglia, Xiangliang Zhang
:
Modeling and Clustering Users with Evolving Profiles in Usage Streams. 133-140 - Hang Yue, Peter Z. Revesz
:
TVICS: An Efficient Traffic Video Information Converting System. 141-148
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.