TY - BOOK
AU - Hitzler,Pascal
AU - Seda,Anthony
TI - Mathematical Aspects of Logic Programming Semantics
T2 - eBooks on Demand
SN - 9781439829622
AV - QA76.63 -- .H58 2011
U1 - 005.115
PY - 2016///
CY - Baton Rouge
PB - CRC Press
KW - Logic programming
KW - Programming languages (Electronic computers) -- Semantics
KW - Electronic books
N1 - 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
N2 - … 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]]>
UR - http://ebookcentral.proquest.com/lib/uttyler/detail.action?docID=1633443
ER -