An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
From International Center for Computational Logic
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Franz BaaderFranz Baader, B. HollunderB. Hollunder, B. NebelB. Nebel, H.J. ProfitlichH.J. Profitlich, E. FranconiE. Franconi
![An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader, B. Hollunder, B. Nebel, H.J. Profitlich, E. Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, 270-281, 1992
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, 270-281, 1992
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BaaderHollunder+-KR-92,
address = {Boston (USA)},
author = {F. {Baader} and B. {Hollunder} and B. {Nebel} and H.J. {Profitlich} and E. {Franconi}},
booktitle = {Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, {KR}-92},
pages = {270--281},
title = {An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: {M}aking {KRIS} get a move on},
year = {1992},
}