TY  - BOOK
AU  - Hitzler, Pascal
AU  - Seda, Anthony
AB  - Covering the authors' own state-of-the-art research results, this book 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, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.
DO  - 10.1201/b10397
ID  - OAPEN ID: ONIX_20200921_9781439829622_8
KW  - Computer Science (General)
KW  - Intelligent Systems
KW  - Machine Learning
KW  - SCI-TECH
KW  - COMPUTERSCIENCE
KW  - ITECH
KW  - INFORMATIONSCIENCE
KW  - STM
KW  - complete
KW  - fixed
KW  - ground
KW  - level
KW  - mappings
KW  - order
KW  - partial
KW  - point
KW  - predicate
KW  - symbol
L1  - https://library.oapen.org/bitstream/id/33038108-1e1e-496b-9d9d-871ef547b59e/9781439829622.pdf
LA  - English
LK  - https://library.oapen.org/handle/20.500.12657/41648
PB  - Taylor & Francis
PY  - 2011
TI  - Mathematical Aspects of Logic Programming Semanticsnull
ER  - 
