Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases

Bertrand Mazure, Lakhdar Sais, Éric Grégoire. Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. In Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach, editors, Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR 97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Volume 1244 of Lecture Notes in Computer Science, pages 122-130, Springer, 1997.

Abstract

Abstract is missing.