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