Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics

EnglishEbook
Hitzler, Pascal
CRC Press
EAN: 9781439829622
Available online
CZK 2,276
Common price CZK 2,529
Discount 10%
pc

Detailed information

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.
EAN 9781439829622
ISBN 1439829624
Binding Ebook
Publisher CRC Press
Publication date April 19, 2016
Pages 304
Language English
Country Uruguay
Authors Hitzler, Pascal; Seda, Anthony
Series Chapman & Hall/CRC Studies in Informatics Series