Mathematical aspects of logic programming semantics
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boca Raton :
Taylor & Francis Group ,
c2011
|
| Subjects: |
Table of Contents:
- 1. Order and logic
- 2. The semantics of logic programs
- 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