[Lecture Notes in Computer Science] Description Logic, Theory Combination, and All That Volume 11560 (Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday) || Explaining Axiom Pinpointing
Lutz, Carsten, Sattler, Uli, Tinelli, Cesare, Turhan, Anni-Yasmin, Wolter, FrankVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-22102-7_22
File:
PDF, 395 KB
english, 2019