Agent-Oriented Integration of Distributed Mathematical Services

  title={Agent-Oriented Integration of Distributed Mathematical Services},
  author={Andreas Franke and Stephan M. Hess and Christoph G. Jung and Michael Kohlhase and Volker Sorge},
  journal={J. UCS},
Real-world applications of automated theorem proving require modern software environments that enable modularisation, networked inter-operability, robustness, and scalability. These requirements are met by the Agent-Oriented Programming paradigm of Distributed Arti cial Intelligence. We argue that a reasonable framework for automated theorem proving in the large regards typical mathematical services as autonomous agents that provide internal functionality to the outside and that, in turn, are… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 30 references

Integrating Tps with mega

  • uller, V. Sorge
  • In J. Grundy and M. Newey, editors, Theorem…
  • 1998
Highly Influential
7 Excerpts

The Theory of Groups

  • M. Hall
  • The Macmillan Company, New York
  • 1959
Highly Influential
1 Excerpt

LEO { a Higher Order Theorem Prover

  • uller, M. Kohlhase
  • In Kirchner and Kirchner
  • 1998
1 Excerpt

Multi-Agent Proof-Planning

  • Fisher, Ireland, 1998 M. Fisher, A. Ireland
  • In Denzinger et al
  • 1998

Resource management

  • Gerber, Jung, 1998 C. Gerber, C. G. Jung
  • 1998

Similar Papers

Loading similar papers…