1. Guest editorial: Temporal representation and reasoning

   • Maroua Bouzid
   • Carlo Combi
   • Gérard Ligozat

   EditorialNotes 10 May 2006 Pages: 231 - 234

2. A clausal resolution method for branching-time logic ECTL⁺

   • Alexander Bolotov
   • Artie Basukoski

   OriginalPaper 24 March 2006 Pages: 235 - 263

3. Reasoning on temporal class diagrams: Undecidability results

   • Alessandro Artale

   OriginalPaper 24 March 2006 Pages: 265 - 288

4. Tableau-based automata construction for dynamic linear time temporal logic*

   • Laura Giordano
   • Alberto Martelli

   OriginalPaper 24 March 2006 Pages: 289 - 315

5. A mathematical framework for the semantics of symbolic languages representing periodic time

   • Lavinia Egidi
   • Paolo Terenziani

   OriginalPaper 28 March 2006 Pages: 317 - 347

6. An algebraic framework for temporal attribute characteristics

   • Michael Böhlen
   • Johann Gamper
   • Christian S. Jensen

   OriginalPaper 28 March 2006 Pages: 349 - 374