Decidability Under the Well-Founded Semantics

Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler. Decidability Under the Well-Founded Semantics. In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings. Volume 4524 of Lecture Notes in Computer Science, pages 269-278, Springer, 2007. [doi]

Abstract

Abstract is missing.