Hitzler, Pascal.

Mathematical Aspects of Logic Programming Semantics. - 1st ed. - 1 online resource (296 pages) - eBooks on Demand Chapman & Hall/CRC Studies in Informatics Series . - Chapman & Hall/CRC Studies in Informatics Series .

Front Cover -- Title -- Copyright -- Dedication -- Contents -- List of Figures -- List of Tables -- Preface -- Introduction -- About the Authors -- Chapter 1: Order and Logic -- Chapter 2: The Semantics of Logic Programs -- Chapter 3: Topology and Logic Programming -- Chapter 4: Fixed-Point Theory for Generalized Metric Spaces -- Chapter 5: Supported Model Semantics -- Chapter 6: Stable and Perfect Model Semantics -- Chapter 7: Logic Programming and Artificial Neural Networks -- Chapter 8: Final Thoughts -- Appendix Transfinite Induction and General Topology -- Bibliography -- Back Cover.

… Much of the material has been generated by [the authors'] own collaboration over the past decade, but they also integrate research results by others. A major feature is that they significantly transcend the tools and methods from the order theory traditionally used in this context, to include non-traditional methods from mathematical analysis depending on topology, generalized distance functions, and their associated fixed-point theory. …-SciTech Book News, February 2011]]>.

9781439829622


Logic programming.
Programming languages (Electronic computers) -- Semantics.


Electronic books.

QA76.63 -- .H58 2011

005.115