Publication

2010 - Taylor & Francis Group

Language

English

Word Count

74,000 words, Guess

Page Count

296 pages

Identifiers

  • ISBN-139781322615950
  • ISBN-101322615950
  • Better World Books9781322615950
  • Open LibraryOL33544768M

Description

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.

Subjects

Other Editions

  • Mathematical Aspects of Logic Programming SemanticsTaylor & Francis Group2010-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!