Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. Volume 810 of CEUR Workshop Proceedings, pages 41-55, CEUR-WS.org, 2011. [doi]
Abstract is missing.