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


Vol-2954/abstract-15⫷Vol-2954/abstract-16⫸Vol-2954/abstract-17
Marie FortinBoris KonevFrank Wolter

Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract)