Vol-2953⫷ Vol-2954 ⫸Vol-2955
urn:nbn:de:0074-2954-0


Vol-2954/abstract-1⫷Vol-2954/abstract-2⫸Vol-2954/abstract-3
Christian AlrabbaaFranz BaaderStefan BorgwardtPatrick KoopmannAlisa Kovtunova

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)