Mathematical Aspects of Logic Programming Semantics
Hitzler, Pascal.
creator
Seda, Anthony.
text
Electronic books.
xx
2016
1st ed.
monographic
eng
1 online resource (296 pages)
… 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]]>.
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.
Logic programming
Programming languages (Electronic computers) -- Semantics
QA76.63 -- .H58 2011
005.115
eBooks on Demand
Mathematical Aspects of Logic Programming Semantics
Hitzler, Pascal
Baton Rouge : CRC Press,c2016
Chapman & Hall/CRC Studies in Informatics Series
9781439829622
http://ebookcentral.proquest.com/lib/uttyler/detail.action?docID=1633443
http://ebookcentral.proquest.com/lib/uttyler/detail.action?docID=1633443
MiAaPQ
170619
EBC1633443
eng