Intensional Logics for Programming: 1 - Rilegato

 
9780198537755: Intensional Logics for Programming: 1
Rilegato
ISBN 10: 0198537751 ISBN 13: 9780198537755
Casa editrice: Clarendon Press, 1992

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

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)

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Clarendon Press
Data di pubblicazione
1992
Lingua
Inglese
ISBN 10 
0198537751
ISBN 13 
9780198537755
Rilegatura
Copertina rigida
Numero di pagine
230
Redattore
Fariñas Del Cerro Luis, Penttonen Martti
Contatto del produttore
non disponibile
Persona responsabile
Penguin Random House Ireland Limited
productsafety@penguin.co.uk

Morrison Chambers, 32 Nassau Street
Dublin
Irlanda