Mathematical Aspects Of Logic Programming Semantics
Download and Read Mathematical Aspects Of Logic Programming Semantics full books in PDF, ePUB, and Kindle. Read online free Mathematical Aspects Of Logic Programming Semantics ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Mathematical Aspects of Logic Programming Semantics
Author | : Pascal Hitzler |
Publisher | : CRC Press |
Total Pages | : 305 |
Release | : 2016-04-19 |
Genre | : Computers |
ISBN | : 1439829624 |
Download Mathematical Aspects of Logic Programming Semantics Book in PDF, Epub and Kindle
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.
Mathematical Aspects of Logic Programming Semantics Related Books
Pages: 305
Pages: 0
Pages: 664
Pages: 135
Pages: