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

Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran

Browse the full TABLEAUX paper archive.