Logical Foundations of Nonmonotonic Truth Maintencance

Michael Reinfrank. Logical Foundations of Nonmonotonic Truth Maintencance. In João P. Martins, Ernesto M. Morgado, editors, EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings. Volume 390 of Lecture Notes in Computer Science, pages 348-361, Springer, 1989.

Abstract

Abstract is missing.