Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c1995.
|
| Series: | Lecture notes in computer science ;
897. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- An Introduction to Executable Modal and Temporal Logics / Michael Fisher and Richard Owens
- Temporal Logic Programming with Metric and Past Operators / Christoph Brzoska
- A Combination of Clausal and Non Clausal
- Temporal Logic Programs / Shinji Kono
- Temporal Logic and Annotated Constraint Logic Programming / Thom Fruhwirth
- Efficiently Executable Temporal Logic Programs / Stephan Merz
- Towards a Semantics for Concurrent METATEM / Michael Fisher
- Constraint Deduction in an Interval-based Temporal Logic / Jana Koehler and Ralf Treinen
- Towards First-Order Concurrent METATEM / Mark Reynolds
- Solving Air-Traffic Problems with "Possible Worlds" / Marcos Cavalcanti
- Investigations into the Application of Deontic Logic / Nienke den Haan.