Intensional Logics for Programming

AvLuis Fariñas del Cerro,Martti Penttonen

Inbunden, Engelska, 1992

Del 1 i serien Studies in Logic and Computation

447 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:1992-08-27
Mått:162 x 241 x 18 mm
Vikt:510 g
Format:Inbunden
Språk:Engelska
Serie:Studies in Logic and Computation
Antal sidor:230
Förlag:Clarendon Press
ISBN:9780198537755

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Recensioner i media

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

Innehållsförteckning

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.