An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Aus 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
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-03, 1993. {DFKI} Research Report
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-03, 1993. {DFKI} Research Report
- Forschungsgruppe:Research Group: Automatentheorie
@techreport{ DFKI-RR-93-03,
author = {F. {Baader} and B. {Hollunder} and B. {Nebel} and H.J. {Profitlich} and E. {Franconi}},
institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
number = {{RR}-93-03},
title = {An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: {M}aking {KRIS} get a move on},
type = {{DFKI} Research Report},
year = {1993},
}