Computing Optimal Repairs of Quantified ABoxes w.r.t. Static

Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah

Browse the full CADE paper archive.