id |
oapen-20.500.12657-41648
|
record_format |
dspace
|
spelling |
oapen-20.500.12657-416482020-09-22T00:41:32Z Mathematical Aspects of Logic Programming Semantics Hitzler, Pascal Seda, Anthony Computer Science (General) Intelligent Systems Machine Learning SCI-TECH COMPUTERSCIENCE ITECH INFORMATIONSCIENCE STM complete fixed ground level mappings order partial point predicate symbol bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMK Games development & programming bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design 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. 2020-09-21T13:16:48Z 2020-09-21T13:16:48Z 2011 book ONIX_20200921_9781439829622_8 https://library.oapen.org/handle/20.500.12657/41648 eng application/pdf n/a 9781439829622.pdf https://www.taylorfrancis.com/books/9780429094231 Taylor & Francis CRC Press 10.1201/b10397 10.1201/b10397 7b3c7b10-5b1e-40b3-860e-c6dd5197f0bb CRC Press 304 open access
|
institution |
OAPEN
|
collection |
DSpace
|
language |
English
|
description |
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.
|
title |
9781439829622.pdf
|
spellingShingle |
9781439829622.pdf
|
title_short |
9781439829622.pdf
|
title_full |
9781439829622.pdf
|
title_fullStr |
9781439829622.pdf
|
title_full_unstemmed |
9781439829622.pdf
|
title_sort |
9781439829622.pdf
|
publisher |
Taylor & Francis
|
publishDate |
2020
|
url |
https://www.taylorfrancis.com/books/9780429094231
|
_version_ |
1771297450977394688
|