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

{"_id":"h3wjkFPfkFyXFzQ46","bibbaseid":"baader-hollunder-nebel-profitlich-franconi-anempiricalanalysisofoptimizationtechniquesforterminologicalrepresentationsystemsormakingkrisgetamoveon-1992","downloads":0,"creationDate":"2018-04-18T07:27:23.890Z","title":"An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On","author_short":["Baader, F.","Hollunder, B.","Nebel, B.","Profitlich, H.","Franconi, E."],"year":1992,"bibtype":"inproceedings","biburl":"http://dblp.org/pid/f/EnricoFranconi.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Franz"],"propositions":[],"lastnames":["Baader"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Hollunder"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Nebel"],"suffixes":[]},{"firstnames":["Hans-Jürgen"],"propositions":[],"lastnames":["Profitlich"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Franconi"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/kr/BaaderHNPF92,\n author = {Franz Baader and\n Bernhard Hollunder and\n Bernhard Nebel and\n Hans{-}J{\\\"{u}}rgen Profitlich and\n Enrico Franconi},\n title = {An Empirical Analysis of Optimization Techniques for Terminological\n Representation Systems, or Making {KRIS} Get a Move On},\n booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge\n Representation and Reasoning (KR'92). Cambridge, MA, October 25-29,\n 1992.},\n pages = {270--281},\n year = {1992},\n crossref = {DBLP:conf/kr/1992},\n timestamp = {Fri, 18 May 2012 15:03:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/kr/BaaderHNPF92},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Baader, F.","Hollunder, B.","Nebel, B.","Profitlich, H.","Franconi, E."],"key":"DBLP:conf/kr/BaaderHNPF92","id":"DBLP:conf/kr/BaaderHNPF92","bibbaseid":"baader-hollunder-nebel-profitlich-franconi-anempiricalanalysisofoptimizationtechniquesforterminologicalrepresentationsystemsormakingkrisgetamoveon-1992","role":"author","urls":{},"downloads":0},"search_terms":["empirical","analysis","optimization","techniques","terminological","representation","systems","making","kris","move","baader","hollunder","nebel","profitlich","franconi"],"keywords":[],"authorIDs":[],"dataSources":["EP6fb9MDGtmLXKt7F"]}