Guest editorial: Temporal representation and reasoning Maroua BouzidCarlo CombiGérard Ligozat EditorialNotes 10 May 2006 Pages: 231 - 234
A clausal resolution method for branching-time logic ECTL+ Alexander BolotovArtie Basukoski OriginalPaper 24 March 2006 Pages: 235 - 263
Reasoning on temporal class diagrams: Undecidability results Alessandro Artale OriginalPaper 24 March 2006 Pages: 265 - 288
Tableau-based automata construction for dynamic linear time temporal logic* Laura GiordanoAlberto Martelli OriginalPaper 24 March 2006 Pages: 289 - 315
A mathematical framework for the semantics of symbolic languages representing periodic time Lavinia EgidiPaolo Terenziani OriginalPaper 28 March 2006 Pages: 317 - 347
An algebraic framework for temporal attribute characteristics Michael BöhlenJohann GamperChristian S. Jensen OriginalPaper 28 March 2006 Pages: 349 - 374