Mathematical Aspects of Logic Programming Semantics
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 nonconve...
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Electronic Book Chapter |
Language: | English |
Published: |
Taylor & Francis
2011
|
Subjects: | |
Online Access: | OAPEN Library: download the publication OAPEN Library: description of the publication |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000naaaa2200000uu 4500 | ||
---|---|---|---|
001 | oapen_2024_20_500_12657_41648 | ||
005 | 20200921 | ||
003 | oapen | ||
006 | m o d | ||
007 | cr|mn|---annan | ||
008 | 20200921s2011 xx |||||o ||| 0|eng d | ||
020 | |a b10397 | ||
040 | |a oapen |c oapen | ||
024 | 7 | |a 10.1201/b10397 |c doi | |
041 | 0 | |a eng | |
042 | |a dc | ||
072 | 7 | |a UMK |2 bicssc | |
072 | 7 | |a UYZM |2 bicssc | |
072 | 7 | |a UYA |2 bicssc | |
072 | 7 | |a UYD |2 bicssc | |
100 | 1 | |a Hitzler, Pascal |4 auth | |
700 | 1 | |a Seda, Anthony |4 auth | |
245 | 1 | 0 | |a Mathematical Aspects of Logic Programming Semantics |
260 | |b Taylor & Francis |c 2011 | ||
300 | |a 1 electronic resource (304 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
520 | |a 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. | ||
540 | |a Creative Commons |f by-nc-nd/4.0 |2 cc |4 http://creativecommons.org/licenses/by-nc-nd/4.0 | ||
546 | |a English | ||
650 | 7 | |a Games development & programming |2 bicssc | |
650 | 7 | |a Information architecture |2 bicssc | |
650 | 7 | |a Mathematical theory of computation |2 bicssc | |
650 | 7 | |a Systems analysis & design |2 bicssc | |
653 | |a Computer Science (General) | ||
653 | |a Intelligent Systems | ||
653 | |a Machine Learning | ||
653 | |a SCI-TECH | ||
653 | |a COMPUTERSCIENCE | ||
653 | |a ITECH | ||
653 | |a INFORMATIONSCIENCE | ||
653 | |a STM | ||
653 | |a complete | ||
653 | |a fixed | ||
653 | |a ground | ||
653 | |a level | ||
653 | |a mappings | ||
653 | |a order | ||
653 | |a partial | ||
653 | |a point | ||
653 | |a predicate | ||
653 | |a symbol | ||
856 | 4 | 0 | |a www.oapen.org |u https://library.oapen.org/bitstream/id/33038108-1e1e-496b-9d9d-871ef547b59e/9781439829622.pdf |7 0 |z OAPEN Library: download the publication |
856 | 4 | 0 | |a www.oapen.org |u https://library.oapen.org/handle/20.500.12657/41648 |7 0 |z OAPEN Library: description of the publication |