+612 9045 4394
Intensional Logics Proramming : Studies in Logic and Computation - Luis Fariñas del Cerro

Intensional Logics Proramming

Studies in Logic and Computation

By: Luis Fariñas del Cerro (Editor), Martti Penttonen (Editor)

Sorry, the book that you are looking for is not available right now.

We did a search for other books with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your book.

Share This Book:

Intensional logics provide a comprehensive theoretical basis for establishing the foundations of programming. This volume offers seminal work on the use of intensional logics for the semantic analysis of logic programs, and programming in intensional logics. For example, modal logic, temporal logic, and linear logic prove to be very useful for these purposes. The work presented here thus yields a better understanding of logic programs and will have a significant impact on future developments of logic programming languages. The book will interest computer science graduate students and researchers, particularly those concerned with artificial intelligence, knowledge representation, logic programming, expert systems, reasoning, and natural languages.

Industry Reviews

`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

H.A. Blair, A.L. Brown, Jr., and V.S. Subrahmanian: Monotone logic programming; M.A. Orgun and W.W. Wadge: Theory and practice of temporal logic programming; M. Baudinet: A simple proof of the completeness of temporal logic programming; D.M. Gabbay: Metalevel features in the object level: modal and temporal logic programming III; D. Nute: Basic defeasible logic; S. Cerrito: Negation and linear completion; P. Balbiani: A promenade from provability to consistency.

ISBN: 9780198537755
ISBN-10: 0198537751
Series: Studies in Logic and Computation
Audience: Tertiary; University or College
Format: Hardcover
Language: English
Number Of Pages: 228
Published: 27th August 1992
Country of Publication: GB
Dimensions (cm): 24.1 x 16.2  x 1.8
Weight (kg): 0.51