Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Mathematical Aspects of Logic Programming Semantics, PDF eBook

Mathematical Aspects of Logic Programming Semantics PDF

Part of the Chapman & Hall/CRC Studies in Informatics Series series

PDF

Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.

Description

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.

Other Formats

Also in the Chapman & Hall/CRC Studies in Informatics Series series  |  View all