Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1991]
|
| Series: | Lecture notes in computer science. Lecture notes in artificial intelligence.
|
| Subjects: |
Table of Contents:
- Putting the problem solver back in the driver's seat : contextual control of the AMTS / Oskar Dressler and Adam Farquhar
- Variations on backtracking for TMS / Ulrich Junker
- An abductive procedure for the CMS/ATMS / Katsumi Inoue
- Knowledge assimilation and abduction / A.C. Kakas and P. Mancarella
- Truth maintenance systems and belief revision / Laura Giordano and Alberto Martelli
- A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision / Didier Dubois, Jérôme Lang, and Henri Prade
- ARC : an extended ATMS based on directed CAT-correct resolution / Pierre Tayrac
- On logical foundations of the ATMS / Yasushi Fujiwara and Shinichi Honiden
- A skeptical semantics for truth maintenance / Cees Witteveen
- Semantic accounts of belief revision / Peter Jackson and John Pais.