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

• Format: Paperback
• Language: English
• ISBN: 1138114227
• ISBN13: 9781138114227
• Release Date: June 2017
• Publisher: CRC Press
• Length: 304 Pages
• Weight: 1.23 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"