Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 14, 1994 : proceedings
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 stag...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
827 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Temporal Logic, Texte imprimé, 9783540582410 • Temporal Logic, Texte imprimé, 9783662188729 |
Table des matières:
- 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.