Buch, Englisch, Band 897, 188 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 306 g
IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Buch, Englisch, Band 897, 188 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 306 g
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-540-58976-1
Verlag: Springer Berlin Heidelberg
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
An introduction to executable modal and temporal logics.- Temporal logic programming with metric and past operators.- A combination of clausal and non clausal temporal logic programs.- Temporal logic and annotated constraint logic programming.- Efficiently executable temporal logic programs.- Towards a semantics for concurrent MetateM.- Constraint deduction in an interval-based temporal logic.- Towards first-order concurrent MetateM.- Solving air-traffic problems with “possible worlds”.- Investigations into the application of deontic logic.