1. ICTL 1994:
Bonn,
Germany
Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.):
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings.
Lecture Notes in Computer Science 827 Springer 1994, ISBN 3-540-58241-X 
@proceedings{DBLP:conf/ictl/1994,
editor = {Dov M. Gabbay and
Hans J{\"u}rgen Ohlbach},
title = {Temporal Logic, First International Conference, ICTL '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
booktitle = {ICTL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {827},
year = {1994},
isbn = {3-540-58241-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen:
Combining Temporal Specification Techniques.
1-16
- Shmuel Katz:
Global Equivalence Proofs for ISTL.
17-29
- Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol:
A Real Time Process Logic.
30-47
- José Luiz Fiadeiro, T. S. E. Maibaum:
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects.
48-66
- Anthony J. Bonner, Michael Kifer:
Applications of Transaction Logic to Knowledge Representation.
67-81
- Patrick Doherty, Witold Lukaszewicz:
Cicumscribing Features and Fluents.
82-100
- Silvana Badaloni, Marina Berati:
Dealing with Time Granularity in a Temporal Planning System.
101-116
- Mark Reynolds:
Axiomatizing U and S over Integer Time.
117-132
- Valentin Goranko:
Temporal Logic with Reference Pointers.
133-148
- Yde Venema:
Completeness through Flatness in Two-Dimensional Temporal Logic.
149-164
- Bart Vergauwen, Johan Lewi, I. Avau, A. Poté:
Efficient Computation of Nested Fix-Points, with Applications to Model Checking.
165-179
- Orna Grumberg, Robert P. Kurshan:
How Linear Can Branching-Time Be?
180-194
- G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna:
First-Order Future Interval Logic.
195-209
- Orna Bernholtz, Orna Grumberg:
Buy One, Get One Free!!!
210-224
- Patrick Blackburn, Claire Gardent, Maarten de Rijke:
Back and Forth Through Time and Events.
225-237
- Chung Hee Hwang, Lenhart K. Schubert:
Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach.
238-264
- Maria Concetta Di Maio, Alberto Zanardo:
Synchronized Histories in Prior-Thomason Representation of Branching Time.
265-282
- Michael H. Böhlen, Robert W. Marti:
On the Completeness of Temporal Database Query Languages.
283-300
- Kristof Van Belleghem, Marc Denecker, Danny De Schreye:
The Abductive Event Calculus as a General Framework for Temporal Databases.
301-316
- Michael Wooldridge, Michael Fisher:
A Decision Procedure for a Temporal Belief Logic.
317-331
- Ming Xu:
Decidability of Deliberative Stit Theories with Multiple Agents.
332-348
- Cristina Ribeiro, António Porto:
Abduction in Temporal Reasoning.
349-364
- Miguel Felder, Angelo Morzenti:
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.
365-381
- Abdelillah Mokkedem, Dominique Méry:
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.
382-397
- Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek:
A Hierarchy of Partial Order Temporal Properties.
398-414
- Clare Dixon, Michael Fisher, Howard Barringer:
A Graph-Based Approach to Resolution in Temporal Logic.
415-429
- Hugh McGuire, Zohar Manna, Richard J. Waldinger:
Annotation-Based Deduction in Temporal Logic.
430-444
Survey Papers
Position Papers and System Descriptions
Copyright © Mon Nov 2 20:48:16 2009
by Michael Ley (ley@uni-trier.de)
