Reasoning and revision in hybrid representation systems
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Thèse numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science. Lecture notes in artificial intelligence
422 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Reasoning and revision in hybrid representation systems, Bernard Nebel, 1990, Berlin, Springer Verlag, 1 vol. (X-270 p.), Lecture notes in computer science, 0-387-52443-6 • Reasoning and Revision in Hybrid Representation Systems, Texte imprimé, 9783662183847 |
Πίνακας περιεχομένων:
- Representation and management of knowledge
- A hybrid representation formalism
- Reasoning in the formalism
- Terminological cycles
- Belief revision
- The revision in terminological systems
- Terminological reason maintenance
- Summary and outlook
- The universal term-forming formalism U
- Overview of formalism and systems.