Vol-1576⫷ Vol-1577 ⫸Vol-1578
urn:nbn:de:0074-1577-0


Vol-1577/paper_41⫷Vol-1577/paper_23⫸Vol-1577/paper_12
Júlia PukancováMartin Homola

Tableau-Based ABox Abduction for Description Logics: Preliminary Report