Intensional Logics for Programming
Luis Fariñas del Cerro editor Martti Penttonen editor
Format:Hardback
Publisher:Oxford University Press
Published:27th Aug '92
Currently unavailable, and unfortunately no date known when it will be back
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.
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 *
ISBN: 9780198537755
Dimensions: 241mm x 162mm x 18mm
Weight: 510g
230 pages