Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings
The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Altres autors: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science. Lecture notes in artificial intelligence
515 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Truth maintenance systems, ECAI-90 workshop, Stockholm, Sweden, August 6, 1990, proceedings, J.P. Martins, M. Reinfrank (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (VI-177 p.), Lecture notes in computer science, 3-540-54305-8 • Truth Maintenance Systems, Texte imprimé, 9783662204542 |
Taula de continguts:
- Putting the problem solver back in the Driver's seat: Contextual control of the ATMS
- Variations on backtracking for TMS
- An abductive procedure for the CMS/ATMS
- Knowledge assimilation and abduction
- Truth maintenance systems and belief revision
- A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision
- ARC: An extended ATMS based on directed CAT-correct resolution
- On logical foundations of the ATMS
- A skeptical semantics for truth maintenance
- Semantic accounts of belief revision.