Kansikuva

Mathematical Aspects of Logic Programming Semantics

Näytä muut versiot (1)

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...

Täydet tiedot

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Hitzler, Pascal (auth)
Muut tekijät: Seda, Anthony (auth)
Aineistotyyppi: Elektroninen Kirjan osa
Kieli:englanti
Julkaistu: Taylor & Francis 2011
Aiheet:
Games development & programming
Information architecture
Mathematical theory of computation
Systems analysis & design
Computer Science (General)
Intelligent Systems
Machine Learning
SCI-TECH
COMPUTERSCIENCE
ITECH
INFORMATIONSCIENCE
STM
complete
fixed
ground
level
mappings
order
partial
point
predicate
symbol
Linkit:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Kuvaus
Yhteenveto: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.
Ulkoasu:1 electronic resource (304 p.)
ISBN:b10397
Pääsy:Open Access

Samankaltaisia teoksia