A Logical Approach for Distributed Truth Maintenance

Thilo C. Horstmann. A Logical Approach for Distributed Truth Maintenance. In Miguel Filgueiras, Luís Damas, editors, Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA 93, Porto, Portugal, October 6-8, 1993, Proceedings. Volume 727 of Lecture Notes in Computer Science, pages 29-44, Springer, 1993.

Abstract

Abstract is missing.