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

Details
Bibtex

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