@incollection{B10,
  Author =	 {Serge Autexier and Christoph Benzm{\"u}ller and
                  Dominik Dietrich and J\"org Siekmann},
  Booktitle =	 {Resource-Adaptive Cognitive Processes},
  Doi =		 {10.1007/978-3-540-89408-7_17},
  Editor =	 {Matthew W. Crocker and J\"org Siekmann},
  Isbn =	 {978-3-540-89407-0},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof,
                  Automated Reasoning, Proof Planning, System
                  Integration, Agents},
  Note =	 {(Final project report, DFG SFB 378)},
  Pages =	 {389-423},
  Publisher =	 {Springer},
  Series =	 {Cognitive Technologies},
  Title =	 {{OMEGA}: Resource-Adaptive Processes in an Automated
                  Reasoning Systems},
  url_preprint = {http://christoph-benzmueller.de/papers/B10.pdf},
  Year =	 2010,
}

{"_id":"AAjY9mK3uTp8HERr9","bibbaseid":"autexier-benzmller-dietrich-siekmann-omegaresourceadaptiveprocessesinanautomatedreasoningsystems-2010","author_short":["Autexier, S.","Benzmüller, C.","Dietrich, D.","Siekmann, J."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Serge"],"propositions":[],"lastnames":["Autexier"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Dominik"],"propositions":[],"lastnames":["Dietrich"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Siekmann"],"suffixes":[]}],"booktitle":"Resource-Adaptive Cognitive Processes","doi":"10.1007/978-3-540-89408-7_17","editor":[{"firstnames":["Matthew","W."],"propositions":[],"lastnames":["Crocker"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Siekmann"],"suffixes":[]}],"isbn":"978-3-540-89407-0","keywords":"own, Proof Assistants, OMEGA, Interactive Proof, Automated Reasoning, Proof Planning, System Integration, Agents","note":"(Final project report, DFG SFB 378)","pages":"389-423","publisher":"Springer","series":"Cognitive Technologies","title":"OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems","url_preprint":"http://christoph-benzmueller.de/papers/B10.pdf","year":"2010","bibtex":"@incollection{B10,\n Author =\t {Serge Autexier and Christoph Benzm{\\\"u}ller and\n Dominik Dietrich and J\\\"org Siekmann},\n Booktitle =\t {Resource-Adaptive Cognitive Processes},\n Doi =\t\t {10.1007/978-3-540-89408-7_17},\n Editor =\t {Matthew W. Crocker and J\\\"org Siekmann},\n Isbn =\t {978-3-540-89407-0},\n Keywords =\t {own, Proof Assistants, OMEGA, Interactive Proof,\n Automated Reasoning, Proof Planning, System\n Integration, Agents},\n Note =\t {(Final project report, DFG SFB 378)},\n Pages =\t {389-423},\n Publisher =\t {Springer},\n Series =\t {Cognitive Technologies},\n Title =\t {{OMEGA}: Resource-Adaptive Processes in an Automated\n Reasoning Systems},\n url_preprint = {http://christoph-benzmueller.de/papers/B10.pdf},\n Year =\t 2010,\n}\n\n","author_short":["Autexier, S.","Benzmüller, C.","Dietrich, D.","Siekmann, J."],"editor_short":["Crocker, M. W.","Siekmann, J."],"key":"B10","id":"B10","bibbaseid":"autexier-benzmller-dietrich-siekmann-omegaresourceadaptiveprocessesinanautomatedreasoningsystems-2010","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/B10.pdf"},"keyword":["own","Proof Assistants","OMEGA","Interactive Proof","Automated Reasoning","Proof Planning","System Integration","Agents"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"incollection","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","proof assistants","omega","interactive proof","automated reasoning","proof planning","system integration","agents"],"search_terms":["omega","resource","adaptive","processes","automated","reasoning","systems","autexier","benzmüller","dietrich","siekmann"],"title":"OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems","year":2010,"downloads":1}