+612 9045 4394
 
CHECKOUT
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)

Hardcover

Published: 27th August 1992
RRP $122.95
$108.90
11%
OFF
or 4 easy payments of $27.23 with Learn more
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

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.

`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
Publisher: Oxford University Press
Country of Publication: GB
Dimensions (cm): 24.1 x 16.2  x 1.8
Weight (kg): 0.51