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

boc : CRC Press., 2010

Collation

-

Language

English

ISBN/ISSN

-

Classification

NONE

Content Type

-

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

engineering & technology

Specific Detail Info

-

Statement of Responsibility

Pascal Hitzler, Anthony Seda

Other Information

Cataloger

ratna/anwar

Source

https://www.taylorfrancis.com/books/oa-edit/10.1201/b10397/

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment