default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th TIME 2003: Cairns, Queensland, Australia
- 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia. IEEE Computer Society 2003, ISBN 0-7695-1912-1
Invited Lectures
- Claudio Bettini
:
Web services for time granularity reasoning. 2-4 - Ron van der Meyden:
Modal Logics of Knowledge and Tim. 5 - Gerard Ligozat:
Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology. 6 - Edmund M. Clarke:
Counterexample-Guided Abstraction Refinement. 7
Research Papers
- Bernhard Heinemann:
An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. 10-16 - Maroua Bouzid:
On-line transportation Scheduling using Spatio-Temporal Reasoning. 17-25 - Jatindra Kumar Deka:
Reasoning about Extremal Properties of Events. 26-36 - Paolo Terenziani, Luca Anselma:
Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity. 37-46 - Fusheng Wang, Carlo Zaniolo:
Temporal Queries in XML Document Archives and Web Warehouses. 47-55 - Amir M. Anvar:
Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning. 56-61 - Clare Dixon, Cláudia Nalon, Michael Fisher:
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. 62-71 - Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt:
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. 72-82 - Till Mossakowski, Michael Drouineaud, Karsten Sohr:
A temporal-logic extension of role-based access control covering dynamic separation of duties. 83-90 - Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. 91-98 - David Toman:
On Incompleteness of Multi-dimensional First-order Temporal Logics. 99-106 - Alexander Bolotov:
A Clausal Resolution Method for Extended Computation Tree Logic ECTL. 107-117 - Peter Z. Revesz, Yi Chen:
Efficient Aggregation over Moving Objects. 118-127 - Abraham Otero, Paulo Félix, Carlos Vázquez Regueiro, Miguel A. Rodríguez, Senén Barro:
A model to perform knowledge-based temporal abstraction over multiple signals. 128-136 - Aidan Harding, Mark Ryan, Pierre-Yves Schobbens:
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. 137-146 - Isabel Navarrete, Abdul Sattar, Roque Marín:
Deciding consistency of a point-duration network with metric constraints. 147-154 - Tim French:
Quantified Propositional Temporal Logic with Repeating States. 155-165 - Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff:
Hybrid Logics on Linear Structures: Expressivity and Complexity. 166-173 - Bela Stantic, John Thornton, Abdul Sattar:
A Novel Approach to Model NOW in Temporal Databases. 174-180 - Howard J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall:
Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs. 181-191 - Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco:
Definability and decidability of binary predicates for time granularity. 192-202 - Philippe Balbiani, Jean-François Condotta, Gérard Ligozat:
On the Consistency Problem for the INDU Calculus. 203-211 - Lin Xu, Berthe Y. Choueiry:
A New Efficient Algorithm for Solving the Simple Temporal Problem. 212-
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-12-04 01:26 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:
