Mathematical Aspects of Logic Programming Semantics

By: Contributor(s): Material type: ArticlePublication details: Taylor & Francis CRC Press [Imprint] 2011Description: 1 electronic resource (304 p.)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
Subject(s): Online resources: Summary: 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.
No physical items for this record

Open Access Unrestricted online access star

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.

Accessibility options of PDF file not available

Creative Commons Licence http://creativecommons.org/licenses/by-nc-nd/4.0 by-nc-nd cc

eng

Freely available e-book