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
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: AutomatentheorieAutomata Theory
@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},
}