Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings
書誌情報:Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings
書誌詳細
刊年 | 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 |
|