Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / J.P. Martins, M. Reinfrank (eds.).

Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1991.
Descriptionvi, 177 pages : illustrations ; 24 cm.
Subjects
Truth maintenance systems--Congresses.

Other author/creatorMartins, João P.
Other author/creatorReinfrank, M. (Michael), 1958-
Other author/creatorEuropean Conference on Artificial Intelligence (1990 : Stockholm, Sweden)
Other author/creatorTruth Maintenance Workshop (1990 : Stockholm, Sweden)
SeriesLecture notes in computer science. Lecture notes in artificial intelligence ; 515
Lecture notes in computer science. Lecture notes in artificial intelligence 515. ^A467263
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.
General note"[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref.
LCCN 91022317
ISBN3540543058 (Berlin : alk. paper)
ISBN0387543058 (New York : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks Q338.T78 1991 ✔ Available Place Hold