On the difference between updating a knowledge database and revising it
By: Hirofumi Katsuno and Alberto O. Mendelzon.
Contributors: Mendelzon, Alberto O.; University of Toronto. Dept. of Computer Science.
Series: KRR-TR -- 90-6; Technical reports on knowledge representation and reasoning -- 90-6
Publisher: Computer Science Dept., University of Toronto
Published: 1990
Place of publication: Toronto
Language: eng
Number of pages: 21
Subjects: Artificial intelligence; Logic, Symbolic and mathematical
Notes: Includes bibliographical references.