An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On

Cite this paper

@inproceedings{Baader1992AnEA, title={An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On}, author={Franz Baader and Bernhard Hollunder and Bernhard Nebel and Hans-J{\"{u}rgen Profitlich and Enrico Franconi}, booktitle={KR}, year={1992} }