Vol-2210⫷ Vol-2211 ⫸Vol-2212
urn:nbn:de:0074-2211-0


Vol-2211/paper-12⫷Vol-2211/paper-13⫸Vol-2211/paper-14

Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving