Research Catalog
Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
- Title
- Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds.
- Author
- International Joint Conference on Artificial Intelligence (1993 : Chambéry, France)
- Publication
- Berlin ; New York : Springer, ©1995.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Use in library | QA76.63 .I566 1995 | Off-site |
Details
- Additional Authors
- Description
- 180 pages : illustrations; 24 cm
- Summary
- "This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming. This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented."--PUBLISHER'S WEBSITE.
- Series Statement
- Lecture notes in computer science ; 897. Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 897.
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Subject
- Logic programming > Congresses
- Prolog (Computer program language) > Congresses
- Programmation logique > Congrès
- Prolog (Langage de programmation) > Congrès
- Logic programming
- Prolog (Computer program language)
- Logische Programmiersprache
- Modallogik
- Temporale Logik
- Programmatuurtechniek
- Artificial intelligence > Congresses
- Programmation logic > Congrès
- Prolog (langage de programmation) > Congrès
- Chambéry <1993>
- Genre/Form
- Kongreß – Chambéry – 1993.
- Conference papers and proceedings.
- Chambéry (1993)
- Note
- Updated papers presented at the Workshop on Executable Modal and Temporal Logics.
- Bibliography (note)
- Includes bibliographical references.
- Contents
- An introduction to executable modal and temporal logics / Michael Fisher & 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 Frühwirth -- 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 & Ralf Treinen -- Towards first-order concurrent METATEM / Mark Reynolds -- Soving air-traffic problems with "possible worlds" / Marcos Cavalcanti -- Investigations into the application of deontic logic / Nienke den Haan.
- ISBN
- 3540589767
- 9783540589761
- 0387589767
- 9780387589763
- LCCN
- 95001416
- OCLC
- ocm31865627
- 31865627
- SCSB-2045183
- Owning Institutions
- Princeton University Library