List of contents of the Proceedings of the

International Conference on Temporal Logic, 1994 (ICTL-94)


c-ictl-94-1
Morten Ulrik Sørensen, Odd Erik Hansen, and Hans Henrik Løvengreen:
Combining Temporal Specification Techniques.
Pages 1-16.

c-ictl-94-17
Shmuel Katz:
Global Equivalence Proofs for ISTL.
Pages 17-29.

c-ictl-94-30
J.C.M. Baeten, J.A. Bergstra, and R.N. Bol:
A Real Time Process Logic.
Pages 30-47.

c-ictl-94-48
José Luiz Fiadeiro and Tom Maibaum:
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects.
Pages 48-66.

c-ictl-94-67
Anthony J. Bonner and Michael Kifer:
Applications of Transaction Logic to Knowledge Representation.
Pages 67-81.

c-ictl-94-82
Patrick Doherty and Witold Lukaszewicz:
Circumscribing Features and Fluents.
Pages 82-100.

c-ictl-94-101
Silvana Badaloni and Marina Berati:
Dealing with Time Granularity in a Temporal Planning System.
Pages 101-116.

c-ictl-94-117
M Reynolds:
Axiomatizing U and S over Integer Time.
Pages 117-132.

c-ictl-94-133
Valentin Goranko:
Temporal Logic with Reference Pointers.
Pages 133-148.

c-ictl-94-149
Yde Venema:
Completeness through Flatness in Two-Dimensional Temporal Logic.
Pages 149-164.

c-ictl-94-165
B. Vergauwen, J. Lewi, I. Avau, and A. Poté:
Efficient Computation of Nested Fix-Points, with Applications to Model Checking.
Pages 165-179.

c-ictl-94-180
Orna Grumberg and Robert P. Kurshan:
How Linear Can Branching-time Be?.
Pages 180-194.

c-ictl-94-195
G. Kutty, L.E. Moser, P.M. Melliar-Smith, L.K. Dillon, and Y.S. Ramakrishna:
First-Order Future Interval Logic.
Pages 195-209.

c-ictl-94-210
Orna Bernholtz and Orna Grumberg:
Buy One, Get One Free!!!.
Pages 210-224.

c-ictl-94-225
Patrick Blackburn, Claire Gardent, and Maarten de Rijke:
Back and forth through time and events (extended abstract).
Pages 225-237.

c-ictl-94-238
Chung Hee Hwang and Lenhart K. Schubert:
Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach.
Pages 238-264.

c-ictl-94-265
Maria Concetta di Maio and Alberto Zanardo:
Synchronized Histories in Prior-Thomason Representation of Branching Time.
Pages 265-282.

c-ictl-94-283
Michael Böhlen and Robert Marti:
On the Completeness of Temporal Database Query Languages.
Pages 283-300.

c-ictl-94-301
Kristof van Belleghem, Marc Denecker, and Danny de Schreye:
The Abductive Event Calculus as a General Framework for Temporal Databases.
Pages 301-316.

c-ictl-94-317
Michael Wooldridge and Michael Fisher:
A Decision Procedure for a Temporal Belief Logic.
Pages 317-331.

c-ictl-94-332
Ming Xu:
Decidability of Deliberative Stit Theories with Multiple Agents.
Pages 332-348.

c-ictl-94-349
Christina Ribeiro and Antónia Porto:
Abduction in Temporal Reasoning.
Pages 349-364.

c-ictl-94-365
Miguel Felder and Angelo Morzenti:
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.
Pages 365-381.

c-ictl-94-382
Abdelillah Mokkedem:
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.
Pages 382-397.

c-ictl-94-398
Marta Kwiatkowska, Doron Peled, and Wojciech Penczek:
A Hierarchy of Partial Order Temporal Properties.
Pages 398-414.

c-ictl-94-415
Clare Dixon, Michael Fisher, and Howard Barringer:
A Graph-Based Approach To Resolution In Temporal Logic.
Pages 415-429.

c-ictl-94-430
Hugh McGuire, Zohar Manna, and Richard Waldinger:
Annotation-Based Deduction in Temporal Logic.
Pages 430-444.

c-ictl-94-445
Mehmet A. Orgun and Wanli Ma:
An Overview of Temporal and Modal Logic Programming.
Pages 445-479.

c-ictl-94-480
Michael Fisher:
A Survey of Concurrent METATEM - The Language and its Applications.
Pages 480-505.

c-ictl-94-506
Jan Chomicki:
Temporal Query Languages: a Survey.
Pages 506-534.

c-ictl-94-535
Reiner Hähnle and Ortrun Ibens:
Improving Temporal Logic Tableaux using Integer Constraints.
Pages 535-539.

c-ictl-94-540
P. M. Melliar-Smith, L. E. Moser, Y. S. Ramakrishna, G. Kutty, and L. K. Dillon:
A System for Automated Deduction in Graphical Interval Logic.
Pages 540-542.

c-ictl-94-543
Leopoldo E. Bertossi and J. Christian Ferretti:
SCDBR: A Reasoner for Specifications in the Situation Calculus for Database Updates.
Pages 543-545.


3-Sep-97 18:27