default search action
1. ICTL 1994: Bonn, Germany
- Dov M. Gabbay, Hans Jürgen Ohlbach:
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 - 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 - George 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
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 J. 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
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 A. 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
- Mehmet A. Orgun
An Overview of Temporal and Modal Logic Programming. 445-479 - Michael Fisher:
A Survey of Concurrent METATEM - the Language and its Applications. 480-505 - Jan Chomicki:
Temporal Query Languages: A Survey. 506-534
Position Papers and System Descriptions
- Reiner Hähnle, Ortrun Ibens:
Improving Temporal Logic Tableaux Using Integer Constraints. 535-539 - P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon:
A System for Automated Deduction in Graphical Interval Logic. 540-542 - Leopoldo E. Bertossi, Cristian Ferretti:
SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. 543-545
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: