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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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)
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Books on the Web, Winnipeg, MB, Canada
New! Hard bound, extensive references, ix + Pp219. Includes chapter references. New & unread in laminated boards. 520 grams unpacked. Nº de ref. del artículo: 5393
Cantidad disponible: 1 disponibles
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 67b5b35ed1e690f16dfe5cc04a4fd708
Cantidad disponible: Más de 20 disponibles
Librería: avelibro OHG, Dinkelscherben, Alemania
24 x 16 cm. Condición: Gut. 1. Auflage. IX, 219 Seiten, 2 Blatt Innen sehr sauberer, guter Zustand. Hardcover, Leinen- oder Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). - Original board with library label on spine. Inside with the common library stamps and inscriptions. Otherwise very clean. - Studies in Logic and Computation, volume I. B04-03-01A|A25 Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 510. Nº de ref. del artículo: 56098
Cantidad disponible: 1 disponibles
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Hardback. Condición: New. New copy - Usually dispatched within 4 working days. Nº de ref. del artículo: B9780198537755
Cantidad disponible: 15 disponibles