Truth maintenance systems
Subtitle: ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings
By: J.P. Martins, M. Reinfrank, eds.
Contributors: Martins, João P.; Reinfrank, M. 1958-; European Conference on Artificial Intelligence (1990 : Stockholm, Sweden); Truth Maintenance Workshop (1990 : Stockholm, Sweden)
Series: Lecture notes in computer science ;; 515.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 515.; Lecture notes in computer science.
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; New York
Language: eng
Number of pages: 177
Subjects: Truth maintenance systems -- Congresses
Notes: Includes bibliographical references.
"[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref.