Vai al contenuto principale della pagina

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds.



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: International Joint Conference on Artificial Intelligence (13th : 1993 : Chambéry, France)
Titolo: Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds.
Link to work: Executable modal and temporal logics Visualizza cluster
Pubblicazione: Berlin ; New York : Springer, ©1995
Estensione: 1 online resource (180 pages) : illustrations.
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Disciplina: 005.13/1
Titolo uniforme di collana: Lecture notes in computer science ; 897.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Genere/Forma: Electronic books
Conference papers and proceedings
Congressen (vorm)
Classificazione: 54.72
Classificazione LOC: QA76.63 .I566 1995
CDU: 28.
Creatori/Collaboratori: Fisher, Michael, , 1962-
Owens, Richard, , 1965-
Note generali: Updated papers presented at the Workshop on Executable Modal and Temporal Logics.
Contenuto supplementare: Includes bibliographical references and index.
Nota di contenuto: 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.
Restrizioni accesso: Access is restricted to users affiliated with licensed institutions.
Sommario/riassunto: 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.
Collana: Lecture notes in computer science ; 897. Lecture notes in artificial intelligence
Varianti del titolo: IJCAI '93 Workshop
ISBN: 9783540491682
3540491686
0387589767
9780387589763
3540589767
9783540589761
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 004354359
Localizzazioni e accesso elettronico http://link.springer.com/10.1007/3-540-58976-7
Collocazione: Electronic access
Lo trovi qui: New York University
Altra ed. diverso supporto: Print version: 3540589767 (DLC) 95001416 (OCoLC)31865627