Mathematical Aspects of Logic Programming Semantics
dc.contributor.author | Hitzler, Pascal | |
dc.contributor.author | Seda, Anthony | |
dc.date.accessioned | 2020-09-21T13:16:48Z | |
dc.date.available | 2020-09-21T13:16:48Z | |
dc.date.issued | 2011 | |
dc.identifier | ONIX_20200921_9781439829622_8 | |
dc.identifier.uri | https://library.oapen.org/handle/20.500.12657/41648 | |
dc.description.abstract | 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. | |
dc.language | English | |
dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMK Games development and programming | en_US |
dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture | en_US |
dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation | en_US |
dc.subject.classification | thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design | en_US |
dc.subject.other | Computer Science (General) | |
dc.subject.other | Intelligent Systems | |
dc.subject.other | Machine Learning | |
dc.subject.other | SCI-TECH | |
dc.subject.other | COMPUTERSCIENCE | |
dc.subject.other | ITECH | |
dc.subject.other | INFORMATIONSCIENCE | |
dc.subject.other | STM | |
dc.subject.other | complete | |
dc.subject.other | fixed | |
dc.subject.other | ground | |
dc.subject.other | level | |
dc.subject.other | mappings | |
dc.subject.other | order | |
dc.subject.other | partial | |
dc.subject.other | point | |
dc.subject.other | predicate | |
dc.subject.other | symbol | |
dc.title | Mathematical Aspects of Logic Programming Semantics | |
dc.type | book | |
oapen.identifier.doi | 10.1201/b10397 | |
oapen.relation.isPublishedBy | 7b3c7b10-5b1e-40b3-860e-c6dd5197f0bb | |
oapen.imprint | CRC Press | |
oapen.pages | 304 |