A Hybrid Tableau Algorithm for ALCQ.

Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller

OriginalspracheEnglisch
TitelDescription Logics
Erscheinungsdatum2008
PublikationsstatusVeröffentlicht - 2008

Zitieren