Abstract is missing.
- Web services for time granularity reasoningClaudio Bettini. 2-4 [doi]
- Modal Logics of Knowledge and TimRon van der Meyden. 5 [doi]
- Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topologyGerard Ligozat. 6 [doi]
- Counterexample-Guided Abstraction RefinementEdmund M. Clarke. 7 [doi]
- An Application of Monodic First Order Temporal Logic to Reasoning about KnowledgeBernhard Heinemann. 10-16 [doi]
- On-line transportation Scheduling using Spatio-Temporal ReasoningMaroua Bouzid. 17-25 [doi]
- Reasoning about Extremal Properties of EventsJatindra Kumar Deka. 26-36 [doi]
- Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and PeriodicityPaolo Terenziani, Luca Anselma. 37-46 [doi]
- Temporal Queries in XML Document Archives and Web WarehousesFusheng Wang, Carlo Zaniolo. 47-55 [doi]
- Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal ReasoningAmir M. Anvar. 56-61 [doi]
- Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No LearningClare Dixon, Cláudia Nalon, Michael Fisher. 62-71 [doi]
- Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain CaseBoris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt. 72-82 [doi]
- A temporal-logic extension of role-based access control covering dynamic separation of dutiesTill Mossakowski, Michael Drouineaud, Karsten Sohr. 83-90 [doi]
- On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal LogicsIan M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev. 91-98 [doi]
- On Incompleteness of Multi-dimensional First-order Temporal LogicsDavid Toman. 99-106 [doi]
- A Clausal Resolution Method for Extended Computation Tree Logic ECTLAlexander Bolotov. 107-117 [doi]
- Efficient Aggregation over Moving ObjectsPeter Z. Revesz, Yi Chen. 118-127 [doi]
- A model to perform knowledge-based temporal abstraction over multiple signalsAbraham Otero, Paulo Félix, Carlos V. Regueiro, Miguel Rodríguez, Senén Barro. 128-136 [doi]
- Towards Symbolic Strategy Synthesis for /left/langle {/left/langle A /right/rangle } /right/rangle-LTLAidan Harding, Mark Ryan, Pierre Yves Schobbens. 137-146 [doi]
- Deciding consistency of a point-duration network with metric constraintsIsabel Navarrete, Abdul Sattar, Roque Marín. 147-154 [doi]
- Quantified Propositional Temporal Logic with Repeating StatesTim French. 155-165 [doi]
- Hybrid Logics on Linear Structures: Expressivity and ComplexityMassimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff. 166-173 [doi]
- A Novel Approach to Model NOW in Temporal DatabasesBela Stantic, John Thornton, Abdul Sattar. 174-180 [doi]
- Spatio-Temporal Data Mining with Expected Distribution Domain Generalization GraphsHoward J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall. 181-191 [doi]
- Definability and decidability of binary predicates for time granularityMassimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco. 192-202 [doi]
- On the Consistency Problem for the INDU CalculusPhilippe Balbiani, Jean-François Condotta, Gérard Ligozat. 203-211 [doi]
- A New Efficient Algorithm for Solving the Simple Temporal ProblemLin Xu, Berthe Y. Choueiry. 212 [doi]