Vol-4090⫷ Vol-4091 ⫸Vol-4092
urn:nbn:de:0074-4091-0


Vol-4091/paper09⫷Vol-4091/paper10⫸Vol-4091/paper12
Maurice FunkJean Christoph JungTom Voellmer

SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract)