An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on

From International Center for Computational Logic

Toggle side column

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


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