Mathematical Aspects of Logic Programming Semantics

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 nonconve...

Full description

Saved in:
Bibliographic Details
Main Author: Hitzler, Pascal (auth)
Other Authors: Seda, Anthony (auth)
Format: Electronic Book Chapter
Language:English
Published: Taylor & Francis 2011
Subjects:
Online Access:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
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.
Physical Description:1 electronic resource (304 p.)
ISBN:b10397
Access:Open Access