Mathematical Aspects of Logic Programming Semantics

by Pascal Hitzler and Anthony Seda

Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics 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,...

• Format: Hardcover
• Language: English
• ISBN: 1439829616
• ISBN13: 9781439829615
• Release Date: November 2010
• Publisher: CRC Press
• Length: 304 Pages