LATPub36: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 9: | Zeile 9: | ||
|Year=1991 | |Year=1991 | ||
|Month= | |Month= | ||
|Booktitle=Proceedings of the 12th International Joint Conference on Artificial Intelligence, | |Booktitle=Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91 | ||
|Editor= | |Editor= | ||
|Note= | |Note= | ||
|Organization= | |Organization= | ||
|Pages=446 | |Pages=446-451 | ||
|Publisher= | |Publisher= | ||
|Series= | |Series= | ||
Version vom 20. März 2015, 16:28 Uhr
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
F. BaaderF. Baader
F. 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},
}
