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