default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th 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
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.
last updated on 2025-02-15 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
