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 BibTeX
@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 BibTeX
- Shmuel Katz:
Global Equivalence Proofs for ISTL.
17-29 BibTeX
- Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol:
A Real Time Process Logic.
30-47 BibTeX
- José Luiz Fiadeiro, T. S. E. Maibaum:
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects.
48-66 BibTeX
- Anthony J. Bonner, Michael Kifer:
Applications of Transaction Logic to Knowledge Representation.
67-81 BibTeX
- Patrick Doherty, Witold Lukaszewicz:
Cicumscribing Features and Fluents.
82-100 BibTeX
- Silvana Badaloni, Marina Berati:
Dealing with Time Granularity in a Temporal Planning System.
101-116 BibTeX
- Mark Reynolds:
Axiomatizing U and S over Integer Time.
117-132 BibTeX
- Valentin Goranko:
Temporal Logic with Reference Pointers.
133-148 BibTeX
- Yde Venema:
Completeness through Flatness in Two-Dimensional Temporal Logic.
149-164 BibTeX
- Bart Vergauwen, Johan Lewi, I. Avau, A. Poté:
Efficient Computation of Nested Fix-Points, with Applications to Model Checking.
165-179 BibTeX
- Orna Grumberg, Robert P. Kurshan:
How Linear Can Branching-Time Be?
180-194 BibTeX
- G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna:
First-Order Future Interval Logic.
195-209 BibTeX
- Orna Bernholtz, Orna Grumberg:
Buy One, Get One Free!!!
210-224 BibTeX
- Patrick Blackburn, Claire Gardent, Maarten de Rijke:
Back and Forth Through Time and Events.
225-237 BibTeX
- Chung Hee Hwang, Lenhart K. Schubert:
Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach.
238-264 BibTeX
- Maria Concetta Di Maio, Alberto Zanardo:
Synchronized Histories in Prior-Thomason Representation of Branching Time.
265-282 BibTeX
- Michael H. Böhlen, Robert W. Marti:
On the Completeness of Temporal Database Query Languages.
283-300 BibTeX
- Kristof Van Belleghem, Marc Denecker, Danny De Schreye:
The Abductive Event Calculus as a General Framework for Temporal Databases.
301-316 BibTeX
- Michael Wooldridge, Michael Fisher:
A Decision Procedure for a Temporal Belief Logic.
317-331 BibTeX
- Ming Xu:
Decidability of Deliberative Stit Theories with Multiple Agents.
332-348 BibTeX
- Cristina Ribeiro, António Porto:
Abduction in Temporal Reasoning.
349-364 BibTeX
- Miguel Felder, Angelo Morzenti:
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.
365-381 BibTeX
- Abdelillah Mokkedem, Dominique Méry:
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.
382-397 BibTeX
- Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek:
A Hierarchy of Partial Order Temporal Properties.
398-414 BibTeX
- Clare Dixon, Michael Fisher, Howard Barringer:
A Graph-Based Approach to Resolution in Temporal Logic.
415-429 BibTeX
- Hugh McGuire, Zohar Manna, Richard J. Waldinger:
Annotation-Based Deduction in Temporal Logic.
430-444 BibTeX
Survey Papers
Position Papers and System Descriptions
Copyright © Sat May 16 23:21:54 2009
by Michael Ley (ley@uni-trier.de)