LATPub36: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) K (1 Version) |
||
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors= | |FurtherAuthors= | ||
| Zeile 37: | Zeile 37: | ||
year = {1991}, | year = {1991}, | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 25. März 2015, 15:38 Uhr
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Franz BaaderFranz Baader
Franz Baader
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, 446-451, 1991
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, 446-451, 1991
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ Baader-IJCAI-91,
address = {Sydney (Australia)},
author = {F. {Baader}},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence, {IJCAI-91}},
pages = {446--451},
title = {Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles},
year = {1991},
}
