Promotional Information

Springer Book Archives

Table of Contents

Combining temporal specification techniques.- Global equivalence proofs for ISTL.- A real time process logic.- Sometimes “Tomorrow” is “Sometime”.- Applications of transaction logic to knowledge representation.- Circumscribing features and fluents.- Dealing with time granularity in a temporal planning system.- Axiomatizing U and S over integer time.- Temporal logic with reference pointers.- Completeness through flatness in two-dimensional temporal logic.- Efficient computation of nested fix-points, with applications to model checking.- How linear can branching-time be?.- First-order future interval logic.- Buy one, get one free !!!.- Back and forth through time and events.- Interpreting tense, aspect and time adverbials: A compositional, unified approach.- Synchronized histories in prior-thomason representation of branching time.- On the completeness of temporal database query languages.- The Abductive Event Calculus as a general framework for temporal databases.- A decision procedurefor a temporal belief logic.- Decidability of deliberative stit theories with multiple agents.- Abduction in temporal reasoning.- A temporal logic approach to implementation and refinement in timed Petri nets.- A stuttering closed temporal logic for modular reasoning about concurrent programs.- A hierarchy of partial order temporal properties.- A graph-based approach to resolution in temporal logic.- Annotation-based deduction in temporal logic.- An overview of temporal and modal logic programming.- A survey of concurrent MetateM — The language and its applications.- Temporal query languages: A survey.- Improving temporal logic tableaux using integer constraints.- A system for automated deduction in graphical interval logic.- SCDBR: A reasoner for specifications in the situation calculus of database updates.