Cover Image
Read Now

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

Bibliographic Details
Main Author: Hitzler, Pascal
Other Authors: Seda, Anthony
Format: eBook
Language:English
Published: Taylor & Francis 2011
Subjects:
Point
Intelligent Systems
Information Architecture
Sci-tech
Mappings
Stm
Informationscience
Itech
Partial
Level
Mathematical Theory Of Computation
Computerscience
Predicate
Computer Science (general)
Symbol
Order
Complete
Systems Analysis And Design
Ground
Machine Learning
Fixed
Games Development And Programming
Online Access:
Collection: OAPEN - Collection details see MPG.ReNa
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.
Item Description:Creative Commons (cc), by-nc-nd/4.0, http://creativecommons.org/licenses/by-nc-nd/4.0
Physical Description:304 p.
ISBN:b10397

Similar Items