Image of Mathematical Aspects of Logic Programming Semantics
Bookmark Share

Text

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

Availability

No copy data

Detail Information
Series Title
-
Call Number
-
Publisher
: .,
Collation
-
Language
English
ISBN/ISSN
1439829624, 9781439829622
Classification
NONE
Content Type
-
Media Type
-
Carrier Type
-
Edition
Ed. 1
Subject(s)
Computers / Machine Theory
Computers / Programming / Games
Computers / Information Theory
Specific Detail Info
-
Statement of Responsibility
Other Information
Cataloger
Suwardi
Source
https://openresearchlibrary.org/content/88841e6d-2b58-4e5e-b8ac-0772745c4426
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment