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 from tr...
| Otros Autores: | , |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Boca Raton, FL :
CRC Press
[2011]
|
| Edición: | 1st ed |
| Colección: | Chapman & Hall/CRC studies in informatics series.
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009434478506719 |
Tabla de Contenidos:
- 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.
