Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks

Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran. Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. In Uwe Egly, Christian G. Fermüller, editors, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings. Volume 2381 of Lecture Notes in Computer Science, pages 100-114, Springer, 2002. [doi]

Abstract

Abstract is missing.