Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Збережено в:
| Співавтор: | |
|---|---|
| Інші автори: | , |
| Формат: | Матеріали конференцій Книга |
| Мова: | English |
| Опубліковано: |
Berlin ; New York :
Springer,
c1995.
|
| Серія: | Lecture notes in computer science ;
897. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Предмети: |
Зміст:
- 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.