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
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},
}
