@inproceedings{W4,
  Abstract =	 {In this contribution we propose an agent
                  architecture for theorem proving which we intend to
                  investigate in depth in the future. The work
                  reported in this paper is in an early state, and by
                  no means finished. We present and discuss our
                  proposal in order to get feedback from the
                  Calculemus community.},
  Address =	 {Trento, Italy},
  Author =	 {Christoph Benzm{\"u}ller and Mateja Jamnik and
                  Manfred Kerber and Volker Sorge},
  Booktitle =	 {Proceedings of the Calculemus Workshop: Systems for
                  Integrated Computation and Deduction},
  Comment =	 {<a href="http://christoph-benzmueller.de/papers/1999-calculemus.ps.gz">slides</a>},
  Pages =	 {1-12},
  Title =	 {Agent Based Mathematical Reasoning},
  url_preprint = {http://christoph-benzmueller.de/papers/W4.pdf},
  Year =	 1999,
}

{"_id":"HwgFLHXTxNZPiEusr","bibbaseid":"benzmller-jamnik-kerber-sorge-agentbasedmathematicalreasoning-1999","author_short":["Benzmüller, C.","Jamnik, M.","Kerber, M.","Sorge, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","abstract":"In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.","address":"Trento, Italy","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Mateja"],"propositions":[],"lastnames":["Jamnik"],"suffixes":[]},{"firstnames":["Manfred"],"propositions":[],"lastnames":["Kerber"],"suffixes":[]},{"firstnames":["Volker"],"propositions":[],"lastnames":["Sorge"],"suffixes":[]}],"booktitle":"Proceedings of the Calculemus Workshop: Systems for Integrated Computation and Deduction","comment":"<a href=\"http://christoph-benzmueller.de/papers/1999-calculemus.ps.gz\">slides</a>","pages":"1-12","title":"Agent Based Mathematical Reasoning","url_preprint":"http://christoph-benzmueller.de/papers/W4.pdf","year":"1999","bibtex":"@inproceedings{W4,\n Abstract =\t {In this contribution we propose an agent\n architecture for theorem proving which we intend to\n investigate in depth in the future. The work\n reported in this paper is in an early state, and by\n no means finished. We present and discuss our\n proposal in order to get feedback from the\n Calculemus community.},\n Address =\t {Trento, Italy},\n Author =\t {Christoph Benzm{\\\"u}ller and Mateja Jamnik and\n Manfred Kerber and Volker Sorge},\n Booktitle =\t {Proceedings of the Calculemus Workshop: Systems for\n Integrated Computation and Deduction},\n Comment =\t {<a href=\"http://christoph-benzmueller.de/papers/1999-calculemus.ps.gz\">slides</a>},\n Pages =\t {1-12},\n Title =\t {Agent Based Mathematical Reasoning},\n url_preprint = {http://christoph-benzmueller.de/papers/W4.pdf},\n Year =\t 1999,\n}\n\n","author_short":["Benzmüller, C.","Jamnik, M.","Kerber, M.","Sorge, V."],"key":"W4","id":"W4","bibbaseid":"benzmller-jamnik-kerber-sorge-agentbasedmathematicalreasoning-1999","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/W4.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["agent","based","mathematical","reasoning","benzmüller","jamnik","kerber","sorge"],"title":"Agent Based Mathematical Reasoning","year":1999,"downloads":1}