An Agent-oriented Approach to Reasoning (bibtex)
by Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
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.
Reference:
An Agent-oriented Approach to Reasoning (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In Proceedings of the Calculemus Workshop 2001, pp. 48-63, 2001. (Url (preprint): http://christoph-benzmueller.de/papers/W11.pdf)
Bibtex Entry:
@inproceedings{W11,
  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.},
  Address =	 {Siena, Italy},
  Author =	 {Christoph Benzm{\"u}ller and Mateja Jamnik and
                  Manfred Kerber and Volker Sorge},
  Booktitle =	 {Proceedings of the Calculemus Workshop 2001},
  Pages =	 {48-63},
  Title =	 {An Agent-oriented Approach to Reasoning},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W11.pdf}},
  Year =	 2001,
}
Powered by bibtexbrowser