Decidability of Circumscribed Description Logics Revisited

Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter. Decidability of Circumscribed Description Logics Revisited. In Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran, editors, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Volume 9060 of Lecture Notes in Computer Science, pages 112-124, Springer, 2014. [doi]

Abstract

Abstract is missing.