@article{J7,
  Author =	 {Mateja Jamnik and Manfred Kerber and Martin Pollet
                  and Christoph Benzm{\"u}ller},
  Doi =		 {10.1093/jigpal/11.6.647},
  Journal =	 {The Logic Journal of the IGPL},
  Keywords =	 {own, Agents, Proof Assistants, Proof Planning,
                  System Integration, Machine Learning, ERIH PLUS},
  Number =	 6,
  Pages =	 {647-674},
  Title =	 {Automatic Learning of Proof Methods in Proof
                  Planning},
  url_preprint = {http://christoph-benzmueller.de/papers/J7.pdf},
  Volume =	 11,
  Year =	 2003,
}

{"_id":"kRyfmexcdK2pW8yKj","bibbaseid":"jamnik-kerber-pollet-benzmller-automaticlearningofproofmethodsinproofplanning-2003","author_short":["Jamnik, M.","Kerber, M.","Pollet, M.","Benzmüller, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mateja"],"propositions":[],"lastnames":["Jamnik"],"suffixes":[]},{"firstnames":["Manfred"],"propositions":[],"lastnames":["Kerber"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Pollet"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"doi":"10.1093/jigpal/11.6.647","journal":"The Logic Journal of the IGPL","keywords":"own, Agents, Proof Assistants, Proof Planning, System Integration, Machine Learning, ERIH PLUS","number":"6","pages":"647-674","title":"Automatic Learning of Proof Methods in Proof Planning","url_preprint":"http://christoph-benzmueller.de/papers/J7.pdf","volume":"11","year":"2003","bibtex":"@article{J7,\n Author =\t {Mateja Jamnik and Manfred Kerber and Martin Pollet\n and Christoph Benzm{\\\"u}ller},\n Doi =\t\t {10.1093/jigpal/11.6.647},\n Journal =\t {The Logic Journal of the IGPL},\n Keywords =\t {own, Agents, Proof Assistants, Proof Planning,\n System Integration, Machine Learning, ERIH PLUS},\n Number =\t 6,\n Pages =\t {647-674},\n Title =\t {Automatic Learning of Proof Methods in Proof\n Planning},\n url_preprint = {http://christoph-benzmueller.de/papers/J7.pdf},\n Volume =\t 11,\n Year =\t 2003,\n}\n\n","author_short":["Jamnik, M.","Kerber, M.","Pollet, M.","Benzmüller, C."],"key":"J7","id":"J7","bibbaseid":"jamnik-kerber-pollet-benzmller-automaticlearningofproofmethodsinproofplanning-2003","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/J7.pdf"},"keyword":["own","Agents","Proof Assistants","Proof Planning","System Integration","Machine Learning","ERIH PLUS"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","agents","proof assistants","proof planning","system integration","machine learning","erih plus"],"search_terms":["automatic","learning","proof","methods","proof","planning","jamnik","kerber","pollet","benzmüller"],"title":"Automatic Learning of Proof Methods in Proof Planning","year":2003}