This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.
Author(s): Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
Series: Lecture Notes in Computer Science 827 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 551
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Database Management; Mathematical Logic and Foundations
Combining temporal specification techniques....Pages 1-16
Global equivalence proofs for ISTL....Pages 17-29
A real time process logic....Pages 30-47
Sometimes “Tomorrow” is “Sometime”....Pages 48-66
Applications of transaction logic to knowledge representation....Pages 67-81
Circumscribing features and fluents....Pages 82-100
Dealing with time granularity in a temporal planning system....Pages 101-116
Axiomatizing U and S over integer time....Pages 117-132
Temporal logic with reference pointers....Pages 133-148
Completeness through flatness in two-dimensional temporal logic....Pages 149-164
Efficient computation of nested fix-points, with applications to model checking....Pages 165-179
How linear can branching-time be?....Pages 180-194
First-order future interval logic....Pages 195-209
Buy one, get one free !!!....Pages 210-224
Back and forth through time and events....Pages 225-237
Interpreting tense, aspect and time adverbials: A compositional, unified approach....Pages 238-264
Synchronized histories in prior-thomason representation of branching time....Pages 265-282
On the completeness of temporal database query languages....Pages 283-300
The Abductive Event Calculus as a general framework for temporal databases....Pages 301-316
A decision procedure for a temporal belief logic....Pages 317-331
Decidability of deliberative stit theories with multiple agents....Pages 332-348
Abduction in temporal reasoning....Pages 349-364
A temporal logic approach to implementation and refinement in timed Petri nets....Pages 365-381
A stuttering closed temporal logic for modular reasoning about concurrent programs....Pages 382-397
A hierarchy of partial order temporal properties....Pages 398-414
A graph-based approach to resolution in temporal logic....Pages 415-429
Annotation-based deduction in temporal logic....Pages 430-444
An overview of temporal and modal logic programming....Pages 445-479
A survey of concurrent MetateM — The language and its applications....Pages 480-505
Temporal query languages: A survey....Pages 506-534
Improving temporal logic tableaux using integer constraints....Pages 535-539
A system for automated deduction in graphical interval logic....Pages 540-542
SCDBR : A reasoner for specifications in the situation calculus of database updates....Pages 543-545
