Cover Image

Mathematical aspects of logic programming semantics /

"Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics 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 f...

Full description

Bibliographic Details
Main Author: Hitzler, Pascal
Corporate Author: Taylor & Francis
Other Authors: Seda, Anthony
Format: eBook
Language:English
Language Notes:English.
Published: Boca Raton, FL : CRC Press, ©2011.
Series:Chapman & Hall/CRC studies in informatics series.
Subjects:
Logic programming.
Programming languages (Electronic computers) > Semantics.
Programmation logique.
Langages de programmation > Sémantique.
COMPUTERS > Programming > General.
MATHEMATICS > Logic.
Logic programming
Programming languages (Electronic computers) > Semantics
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • 1. Order and logic
  • 2. The semantics of logic problems
  • 3. Topology and logic programming
  • 4. Fixed-point theory for generalized metric spaces
  • 5. Supported model semantics
  • 6. Stable and perfect model semantics
  • 7. Logic programming and artificial neural networks
  • 8. Final thoughts.