An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. Baader, F., Hollunder, B., Nebel, B., Profitlich, H., & Franconi, E. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, October 25-29, 1992., pages 270--281, 1992.
bibtex   
@inproceedings{DBLP:conf/kr/BaaderHNPF92,
  author    = {Franz Baader and
               Bernhard Hollunder and
               Bernhard Nebel and
               Hans{-}J{\"{u}}rgen Profitlich and
               Enrico Franconi},
  title     = {An Empirical Analysis of Optimization Techniques for Terminological
               Representation Systems, or Making {KRIS} Get a Move On},
  booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge
               Representation and Reasoning (KR'92). Cambridge, MA, October 25-29,
               1992.},
  pages     = {270--281},
  year      = {1992},
  crossref  = {DBLP:conf/kr/1992},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/BaaderHNPF92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0