Show simple item record

dc.contributor.authorHitzler, Pascal
dc.contributor.authorSeda, Anthony
dc.date.accessioned2020-09-21T13:16:48Z
dc.date.available2020-09-21T13:16:48Z
dc.date.issued2011
dc.identifierONIX_20200921_9781439829622_8
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/41648
dc.description.abstractCovering 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.languageEnglish
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMK Games development and programmingen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architectureen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computationen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and designen_US
dc.subject.otherComputer Science (General)
dc.subject.otherIntelligent Systems
dc.subject.otherMachine Learning
dc.subject.otherSCI-TECH
dc.subject.otherCOMPUTERSCIENCE
dc.subject.otherITECH
dc.subject.otherINFORMATIONSCIENCE
dc.subject.otherSTM
dc.subject.othercomplete
dc.subject.otherfixed
dc.subject.otherground
dc.subject.otherlevel
dc.subject.othermappings
dc.subject.otherorder
dc.subject.otherpartial
dc.subject.otherpoint
dc.subject.otherpredicate
dc.subject.othersymbol
dc.titleMathematical Aspects of Logic Programming Semantics
dc.typebook
oapen.identifier.doi10.1201/b10397
oapen.relation.isPublishedBy7b3c7b10-5b1e-40b3-860e-c6dd5197f0bb
oapen.imprintCRC Press
oapen.pages304


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record