A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello

Browse the full ECAI paper archive.