Default Logic and Bounded Treewidth

Johannes Klaus Fichte, Markus Hecher, Irina Schindler. Default Logic and Bounded Treewidth. In Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira, editors, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Volume 10792 of Lecture Notes in Computer Science, pages 130-142, Springer, 2018. [doi]

Abstract

Abstract is missing.