Abstract is missing.
- Toward a Unifying View of Point and Interval Temporal Data ModelMichael H. Böhlen. 3-4 [doi]
- Word Proximity Constraints: Information Retrieval Meets Temporal ReasoningManolis Koubarakis. 5-6 [doi]
- Temporal Prepositions and Their LogicIan Pratt-Hartmann. 7-8 [doi]
- The Many Ways of Facing Temporal Uncertainty in Planning and SchedulingThierry Vidal. 9-10 [doi]
- A Lattice of Classes of User-Defined Symbolic PeriodicitiesLavinia Egidi, Paolo Terenziani. 13-20 [doi]
- A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic TimeLavinia Egidi, Paolo Terenziani. 21-27 [doi]
- The SOL Time Theory: A Formalization of Structured Temporal Objects and RepetitionDiana Cukierman, James P. Delgrande. 28-35 [doi]
- A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal PointsAllel HadjAli, Didier Dubois, Henri Prade. 36-43 [doi]
- Relations Between Fuzzy Time IntervalsHans Jürgen Ohlbach. 44-51 [doi]
- Recursive Representation of Periodicity and Temporal ReasoningLuca Anselma. 52-59 [doi]
- The Role of Labeled Partitionings for Modeling Periodic Temporal NotionsHans Jürgen Ohlbach. 60-63 [doi]
- Probabilistic Temporal Interval NetworksVladimir Ryabov, André Trudel. 64-67 [doi]
- Fuzzy Calendar Algebra and Its Applications to Data MiningWan-Jui Lee, Shie-Jue Lee. 71-78 [doi]
- Reasoning on Temporal Conceptual Schemas with Dynamic ConstraintsAlessandro Artale. 79-86 [doi]
- Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential PatternsFlorent Masseglia, Pascal Poncelet, Maguelonne Teisseire. 87-95 [doi]
- Mapping Calendar Expressions into Periodical GranularitiesClaudio Bettini, Sergio Mascetti, Xiaoyang Sean Wang. 96-102 [doi]
- Max-Count Aggregation Estimation for Moving PointsYi Chen, Peter Z. Revesz. 103-108 [doi]
- Effective Data Integration in the Presence of Temporal Semantic ConflictsHongwei Zhu 0002, Stuart E. Madnick, Michael Siegel. 109-114 [doi]
- CTL Model Checking for Processing Simple XPath QueriesLoredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke. 117-124 [doi]
- Compositional Temporal Logic Based on Partial OrderAdrianna Alexander, Wolfgang Reisig. 125-132 [doi]
- On-the-Fly Automata Construction for Dynamic Linear Time Temporal LogicLaura Giordano, Alberto Martelli. 133-139 [doi]
- A Clausal Resolution Method for Branching-Time Logic ECTL+Alexander Bolotov, Artie Basukoski. 140-147 [doi]
- Using Temporal Logics of Knowledge in the Formal Verification of Security ProtocolsClare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek. 148-151 [doi]
- Model Checking mu-Calculus in Well-Structured Transition SystemsE. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov. 152-155 [doi]
- Decidability of the Theory of the Totally Unbounded omega-Layered StructureAngelo Montanari, Gabriele Puppis. 156-160 [doi]