Mathematical Aspects of Logic Programming SemanticsAuthor :
Hardback
Published : Monday 22 November 2010
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.
You may also like ...
by
Paperback
14 Jun 2017
Electrical engineering
€81.89
Extended stock – Dispatch 5-7 days
by
Hardback
22 Nov 2010
Information theory
€222.30
Extended stock – Dispatch 5-7 days
by
Hardback
09 Sep 2024
Literary studies: c 1900 to c 2000
€152.10
by
Paperback
01 Jul 2024
Operational research
€170.82
Reviews