Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Thomas Eiter' in GoogleThis author has not been identified. Look up 'Volker Klotz' in GoogleThis author has not been identified. Look up 'Hans Tompits' in GoogleThis author has not been identified. Look up 'Stefan Woltran' in Google

runs on WebDSL