@InProceedings{W11,
  key    =       {W11},
  author =	 {Christoph Benzm{\"u}ller and Mateja Jamnik and Manfred Kerber and Volker
                  Sorge},
  title =	 {An Agent-oriented Approach to Reasoning},
  booktitle =	 {Proceedings of the Calculemus Workshop 2001},
  year =	 2001,
  pages =        {48--63},
  chrisnote =	 {W11},
  url =		 {www.ags.uni-sb.de/~chris/papers/W11.pdf},
  address =	 {Siena, Italy},
  abstract =	 {This paper discusses experiments with an agent oriented approach to
                  automated and interactive reasoning. The approach combines ideas from
                  two subfields of AI (theorem proving/proof planning and multi-agent
                  systems) and makes use of state of the art distribution techniques to
                  decentralise and spread its reasoning agents over the internet. It
                  particularly supports cooperative proofs between reasoning systems which
                  are strong in different application areas, e.g., higher-order and
                  first-order theorem provers and computer algebra systems.}
}