|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Mathematical Aspects of Logic Programming Semantics
ISBN-13:
9781439829622
Veröffentl:
2016
Seiten:
304
Autor:
Pascal Hitzler
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
0 - No protection
Sprache:
Englisch
Beschreibung:
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.
Order and Logic. The Semantics of Logic Programs. Topology and Logic Programming. Fixed-Point Theory for Generalized Metric Spaces. Supported Model Semantics. Stable and Perfect Model Semantics. Logic Programming and Artificial Neural Networks. Final Thoughts. Appendix. Bibliography. Index.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
