Abstract is missing.
- Automated Planning in Temporal Domains: Some Recent Advances and Current Research TopicsAlfonso Gerevini. 3-4 [doi]
- Model Checking Branching Time LogicsPh. Schnoebelen. 5 [doi]
- Towards a Science of Temporal DatabasesRichard T. Snodgrass. 6-7 [doi]
- Temporalising Tractable Description LogicsAlessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. 11-22 [doi]
- Relational Temporal MachinesNicole Bidoit, Francois Hantry. 23-34 [doi]
- SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query LanguageNicole Bidoit, Matthieu Objois. 35-46 [doi]
- Automated Natural Deduction for Propositional Linear-Time Temporal LogicAlexander Bolotov, Oleg Grigoriev, Vasilyi Shangin. 47-58 [doi]
- Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure AnalysisYuchang Cheng, Masayuki Asahara, Yuji Matsumoto. 59-69 [doi]
- Conceptual Modeling of Temporal Clinical WorkflowsCarlo Combi, Matteo Gozzi, José M. Juárez, Barbara Oliboni, Giuseppe Pozzi. 70-81 [doi]
- On the Equivalence of Automaton-Based Representations of Time GranularitiesUgo Dal Lago, Angelo Montanari, Gabriele Puppis. 82-93 [doi]
- The Effects of Bounding Syntactic Resources on Presburger LTLStéphane Demri, Régis Gascon. 94-104 [doi]
- Extended Time Constraints for Sequence MiningCéline Fiot, Anne Laurent, Maguelonne Teisseire. 105-116 [doi]
- Automatic Analysis of Temporal Relations within a DiscoursePetr Nemec. 117-128 [doi]
- Similarity Search in Trajectory DatabasesNikos Pelekis, Ioannis Kopanakis, Gerasimos Marketos, Irene Ntoutsi, Gennady L. Andrienko, Yannis Theodoridis. 129-140 [doi]
- A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in EnglishJordi Poveda, Mihai Surdeanu, Jordi Turmo. 141-149 [doi]
- On Construction of Holistic Synopses under the Duplicate Semantics of Streaming QueriesDavid Toman. 150-162 [doi]
- Bi-Intervals for Backtracking on Temporal Constraint NetworksJean-François Baget, Sébastien Laborie. 163-168 [doi]
- Temporal Relations of Intervals with a GapMax J. Egenhofer. 169-174 [doi]
- Multilingual Extension of Temporal Expression Recognition Using Parallel CorporaM. Puchol-Blasco, Estela Saquete, Patricio Martínez-Barco. 175-180 [doi]
- Reasoning with And Then and While Suman Roy, Guido Sciavicco. 181-188 [doi]
- WCTAnalyze--Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual ResourcesSebastian Gottwald, Gerhard Heyer, Matthias Richter, Peter Walde. 189 [doi]
- Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal ProblemsYuechang Liu, Hong Qian, Yunfei Jiang. 190 [doi]
- Modularity and Temporal Reasoning: A Logic Programming ApproachVítor Nogueira, Salvador Abreu. 191 [doi]
- A Symbolic Decision Procedure for Robust Safety of Timed SystemsMani Swaminathan, Martin Fränzle. 192 [doi]