| 刊年 | 1991 |
| 形態 | vi, 177 p. : ill. ; 24 cm. |
| 別書名 | Lecture notes in computer science ; 515. Lecture notes in artificial intelligence
|
| 内容注記 | 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.
|
| シリーズ名 | Lecture notes in computer science.[Lecture notes in artificial intelligence.]
|
| 注記 | "[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref.
Includes bibliographical references. |
| 出版国 | ドイツ |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 著者情報 | Martins, João P.
Reinfrank, M. (Michael), 1958-
European Conference on Artificial Intelligence (1990 : Stockholm, Sweden)
Truth Maintenance Workshop (1990 : Stockholm, Sweden)
|
| 分類 | LCC:Q338
DC20:006.3 |
| ISBN | 3540543058(Berlin : alk. paper)
0387543058(New York : alk. paper)
|
| 件名 | LCSH:Truthmaintenancesystems -- Congresses.
|
| 番号 | LCCN : 91022317 |