Conferences in DBLP

International Conference on Temporal Logic (ictl)
1994 (conf/ictl/1994)

1. Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen
   Combining Temporal Specification Techniques. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:1-16 [Conf]
   
2. Shmuel Katz
   Global Equivalence Proofs for ISTL. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:17-29 [Conf]
   
3. Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol
   A Real Time Process Logic. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:30-47 [Conf]
   
4. José Luiz Fiadeiro, T. S. E. Maibaum
   Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:48-66 [Conf]
   
5. Anthony J. Bonner, Michael Kifer
   Applications of Transaction Logic to Knowledge Representation. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:67-81 [Conf]
   
6. Patrick Doherty, Witold Lukaszewicz
   Cicumscribing Features and Fluents. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:82-100 [Conf]
   
7. Silvana Badaloni, Marina Berati
   Dealing with Time Granularity in a Temporal Planning System. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:101-116 [Conf]
   
8. Mark Reynolds
   Axiomatizing U and S over Integer Time. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:117-132 [Conf]
   
9. Valentin Goranko
   Temporal Logic with Reference Pointers. [Citation Graph (0, 0)][DBLP]
   ICTL, 1994, pp:133-148 [Conf]
   
10. Yde Venema
    Completeness through Flatness in Two-Dimensional Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:149-164 [Conf]
    
11. Bart Vergauwen, Johan Lewi, I. Avau, A. Poté
    Efficient Computation of Nested Fix-Points, with Applications to Model Checking. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:165-179 [Conf]
    
12. Orna Grumberg, Robert P. Kurshan
    How Linear Can Branching-Time Be? [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:180-194 [Conf]
    
13. G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna
    First-Order Future Interval Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:195-209 [Conf]
    
14. Orna Bernholtz, Orna Grumberg
    Buy One, Get One Free!!! [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:210-224 [Conf]
    
15. Patrick Blackburn, Claire Gardent, Maarten de Rijke
    Back and Forth Through Time and Events. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:225-237 [Conf]
    
16. Chung Hee Hwang, Lenhart K. Schubert
    Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:238-264 [Conf]
    
17. Maria Concetta Di Maio, Alberto Zanardo
    Synchronized Histories in Prior-Thomason Representation of Branching Time. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:265-282 [Conf]
    
18. Michael H. Böhlen, Robert W. Marti
    On the Completeness of Temporal Database Query Languages. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:283-300 [Conf]
    
19. Kristof Van Belleghem, Marc Denecker, Danny De Schreye
    The Abductive Event Calculus as a General Framework for Temporal Databases. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:301-316 [Conf]
    
20. Michael Wooldridge, Michael Fisher
    A Decision Procedure for a Temporal Belief Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:317-331 [Conf]
    
21. Ming Xu
    Decidability of Deliberative Stit Theories with Multiple Agents. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:332-348 [Conf]
    
22. Cristina Ribeiro, António Porto
    Abduction in Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:349-364 [Conf]
    
23. Miguel Felder, Angelo Morzenti
    A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:365-381 [Conf]
    
24. Abdelillah Mokkedem, Dominique Méry
    A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:382-397 [Conf]
    
25. Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek
    A Hierarchy of Partial Order Temporal Properties. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:398-414 [Conf]
    
26. Clare Dixon, Michael Fisher, Howard Barringer
    A Graph-Based Approach to Resolution in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:415-429 [Conf]
    
27. Hugh McGuire, Zohar Manna, Richard J. Waldinger
    Annotation-Based Deduction in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:430-444 [Conf]
    
28. Mehmet A. Orgun, Wanli Ma
    An Overview of Temporal and Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:445-479 [Conf]
    
29. Michael Fisher
    A Survey of Concurrent METATEM - the Language and its Applications. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:480-505 [Conf]
    
30. Jan Chomicki
    Temporal Query Languages: A Survey. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:506-534 [Conf]
    
31. Reiner Hähnle, Ortrun Ibens
    Improving Temporal Logic Tableaux Using Integer Constraints. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:535-539 [Conf]
    
32. P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon
    A System for Automated Deduction in Graphical Interval Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:540-542 [Conf]
    
33. Leopoldo E. Bertossi, Cristian Ferretti
    SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:543-545 [Conf]