@InProceedings{C10,
  key    =       {C10},
  author =	 {Christoph Benzm{\"u}ller and Mateja Jamnik and Manfred Kerber and Volker
                  Sorge},
  title =	 {Experiments with an Agent-oriented Reasoning system},
  editor =	 {Franz Baader and Gerhard Brewka and Thomas Eiter},
  booktitle =	 {KI 2001: Advances in Artificial Intelligence, Joint German/Austrian
                  Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  publisher =	 {Springer},
  series =	 {LNCS},
  number =	 {2174},
  year =	 {2001},
  pages =	 {409--424},
  chrisnote =	 {C10},
  url =		 {www.ags.uni-sb.de/~chris/papers/C10.pdf},
  abstract =	 {This paper discusses an agent based approach to automated and
                  interactive reasoning. It 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. The approach particularly
                  supports cooperative proofs between reasoning agents which are strong in
                  different applications areas, e.g., higher-order and first-order theorem
                  provers and computer algebra systems.}
}