Vol-3514⫷ Vol-3515 ⫸Vol-3516
urn:nbn:de:0074-3515-0


Vol-3515/paper-13⫷Vol-3515/paper-14⫸Vol-3515/paper-15
Ignacio HuitzilGiuseppe MazzottaRafael PeñalozaFrancesco Ricca

ASP-based Axiom Pinpointing for Description Logics