## Agent-Oriented Integration of Distributed Mathematical Services (1999)

### Cached

### Download Links

- [www.cs.cmu.edu]
- [ags.uni-sb.de]
- [www.jucs.org]
- DBLP

### Other Repositories/Bibliography

Venue: | Journal of Universal Computer Science |

Citations: | 20 - 10 self |

### BibTeX

@ARTICLE{Franke99agent-orientedintegration,

author = {Andreas Franke and Stephan M. Hess and Christoph G. Jung and Michael Kohlhase and Volker Sorge},

title = {Agent-Oriented Integration of Distributed Mathematical Services},

journal = {Journal of Universal Computer Science},

year = {1999},

volume = {5},

pages = {156--187}

}

### OpenURL

### Abstract

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 Artificial 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 able to access a variety of existing external services. This article describes...