Intensional Logics for Programming: 1 (Studies in Logic and Computation) - Hardcover

 
9780198537755: Intensional Logics for Programming: 1 (Studies in Logic and Computation)
Hardcover
ISBN 10: 0198537751 ISBN 13: 9780198537755
Publisher: Clarendon Press, 1992

Synopsis

This volume is a collection of papers around the theme of extending the logic programming paradigm to the area of intensional logics. Intensional logics play a central role in AI and computing, as well as in the theoretical foundation of logic programming. Intensional logic programming is one of the current frontline research areas of computational logics. This not only helps the understanding of logic programs, but will have a significant impact on future developments of logic programming itself.

"synopsis" may belong to another edition of this title.

Review

a very valuable source of information on the state of the art in the domain ... this book is a very nice survey and shows quite a few case studies of how non-classical logics can help in the study of logic programs and their semantics (Science of Computer Programming, 24 (1995) 97-103 pp 102 - 103)

the book covers a wide "lacking" part in the new interaction area between logic, information technology and computation (Zbl. Math. 787)

Synopsis

Intensional logics provide a comprehensive theoretical basis for establishing the foundations of programming. This volume contains contributions about the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.

"About this title" may belong to another edition of this title.

Publisher
Clarendon Press
Publication date
1992
Language
English
ISBN 10 
0198537751
ISBN 13 
9780198537755
Binding
Hardcover
Number of pages
230
Editor
Fariñas Del Cerro Luis, Penttonen Martti