Title: On the difference between updating a knowledge database and revising it
First published: 1990
Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA9.2 .K38 1990