C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
ICTL
1994
1994
1994
Keyphrases
Publications
1994
Abdelillah Mokkedem
,
Dominique Méry
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.
ICTL
(1994)
Hugh McGuire
,
Zohar Manna
,
Richard J. Waldinger
Annotation-Based Deduction in Temporal Logic.
ICTL
(1994)
Clare Dixon
,
Michael Fisher
,
Howard Barringer
A Graph-Based Approach to Resolution in Temporal Logic.
ICTL
(1994)
Jan Chomicki
Temporal Query Languages: A Survey.
ICTL
(1994)
Maria Concetta Di Maio
,
Alberto Zanardo
Synchronized Histories in Prior-Thomason Representation of Branching Time.
ICTL
(1994)
Mark Reynolds
over Integer Time.
ICTL
(1994)
Miguel Felder
,
Angelo Morzenti
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.
ICTL
(1994)
Michael H. Böhlen
,
Robert W. Marti
On the Completeness of Temporal Database Query Languages.
ICTL
(1994)
Patrick Blackburn
,
Claire Gardent
,
Maarten de Rijke
Back and Forth Through Time and Events.
ICTL
(1994)
Reiner Hähnle
,
Ortrun Ibens
Improving Temporal Logic Tableaux Using Integer Constraints.
ICTL
(1994)
Silvana Badaloni
,
Marina Berati
Dealing with Time Granularity in a Temporal Planning System.
ICTL
(1994)
Patrick Doherty
,
Witold Lukaszewicz
Cicumscribing Features and Fluents.
ICTL
(1994)
Marta Z. Kwiatkowska
,
Doron A. Peled
,
Wojciech Penczek
A Hierarchy of Partial Order Temporal Properties.
ICTL
(1994)
Michael J. Wooldridge
,
Michael Fisher
A Decision Procedure for a Temporal Belief Logic.
ICTL
(1994)
Jos C. M. Baeten
,
Jan A. Bergstra
,
Roland N. Bol
A Real Time Process Logic.
ICTL
(1994)
Chung Hee Hwang
,
Lenhart K. Schubert
Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach.
ICTL
(1994)
Michael Fisher
A Survey of Concurrent METATEM - the Language and its Applications.
ICTL
(1994)
Bart Vergauwen
,
Johan Lewi
,
I. Avau
,
A. Poté
Efficient Computation of Nested Fix-Points, with Applications to Model Checking.
ICTL
(1994)
Shmuel Katz
Global Equivalence Proofs for ISTL.
ICTL
(1994)
Yde Venema
Completeness through Flatness in Two-Dimensional Temporal Logic.
ICTL
(1994)
Mehmet A. Orgun
,
Wanli Ma
An Overview of Temporal and Modal Logic Programming.
ICTL
(1994)
Orna Grumberg
,
Robert P. Kurshan
How Linear Can Branching-Time Be?
ICTL
(1994)
Morten Ulrik Sørensen
,
Odd Erik Hansen
,
Hans Henrik Løvengreen
Combining Temporal Specification Techniques.
ICTL
(1994)
Ming Xu
Theories with Multiple Agents.
ICTL
(1994)
Kristof Van Belleghem
,
Marc Denecker
,
Danny De Schreye
The Abductive Event Calculus as a General Framework for Temporal Databases.
ICTL
(1994)
Cristina Ribeiro
,
António Porto
Abduction in Temporal Reasoning.
ICTL
(1994)
P. M. Melliar-Smith
,
Louise E. Moser
,
Y. S. Ramakrishna
,
George Kutty
,
Laura K. Dillon
A System for Automated Deduction in Graphical Interval Logic.
ICTL
(1994)
José Luiz Fiadeiro
,
T. S. E. Maibaum
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects.
ICTL
(1994)
Anthony J. Bonner
,
Michael Kifer
Applications of Transaction Logic to Knowledge Representation.
ICTL
(1994)
George Kutty
,
Louise E. Moser
,
P. M. Melliar-Smith
,
Laura K. Dillon
,
Y. S. Ramakrishna
First-Order Future Interval Logic.
ICTL
(1994)
Leopoldo E. Bertossi
,
Cristian Ferretti
SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates.
ICTL
(1994)
Valentin Goranko
Temporal Logic with Reference Pointers.
ICTL
(1994)
Orna Bernholtz
,
Orna Grumberg
Buy One, Get One Free!!!
ICTL
(1994)
volume 827, 1994
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
ICTL
827 (1994)