Reasoning with logic programming
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools. The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly...
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science. Lecture notes in artificial intelligence
1111 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Reasoning with logic programming, José Júlio Alferes, Luís Moniz Pereira, 1996, New York, Springer, 1 vol. (XX-326 p.), Lecture notes in computer science, 3-540-61488-5 • Reasoning with Logic Programming, Texte imprimé, 9783662181430 |
Obsah:
- Normal logic programs
- Extended logic programs
- Why a new semantics for extended programs?
- WFSX A well founded semantics for extended logic programs
- WFSX, LP semantics with two negations, and autoepistemic logics
- WFSX and default logic
- WFSX and hypotheses abduction
- Dealing with contradiction
- Further properties and comparisons
- Top-down derivation procedures for WFSX
- Application to classical nonmonotonic reasoning problems
- Application to diagnosis and debugging.