A Knowledge Compilation Technique for {ALC} Tboxes
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference. USA: AAAI Press 2009
Erscheinungsjahr: 2009
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Autoren
Furbach, Ulrich (Autor)
Günther, Heiko (Autor)
Obermaier, Claudia (Autor)
Klassifikation
DDC Sachgruppe:
Informatik
