T. Eiter, M. Fink, D. Stepanova:
"Data Repair of Inconsistent Nonmonotonic Description Logic Programs";
Report No. INFSYS RR-1843-15-03, 2015; 72 pages.
http://publik.tuwien.ac.at/files/PubDat_246240.pdf
Project Head Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions