MONET: Service discovery and composition for mathematical problems

Proceedings - CCGrid 2003: 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid

Volumn , Issue , 2003, Pages 678-687

  Aird, Marc Laurent ^a   Medina, Walter Barbera ^a   Padget, Julian ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT-BASED FRAMEWORK; EUROPEAN COMMISSION; GRID SERVICES; INFORMATION SOCIETY TECHNOLOGIES; MATHEMATICAL PROBLEMS; MATHEMATICAL WEB SERVICES; PROOF OF CONCEPT; SERVICE DISCOVERY;

CLUSTER COMPUTING; GRID COMPUTING; WEB SERVICES; WEBSITES;

PROBLEM SOLVING;

EID: 47749145004     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCGRID.2003.1199433     Document Type: Conference Paper

References (13)

1. J. Angele, D. Fensel, D. Landes, and R. Studer. Developing knowledge-based systems with MIKE. Automated Software Engineering: An International Journal, 5(4):389-418, Oct. 1998
2. V. R. Benjamins, B.Wielinga, J.Wielemaker, and D. Fensel. Towards brokering problem-solving knowledge on the internet. In D. Fensel and R. Studer, editors, Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management (EKAW-99), volume 1621 of LNAI, pages 33-48, Berlin, May 26-29 1999. Springer
3. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, May 2001
4. S. Computers. Java API for XML-Based RPC (JAX-RPC). http://java.sun.com/ xml/jaxrpc/index. html, February 2003
5. S. Dalmas, M. Gäetano, and S. Watt. An openmath 1.0 implementation. In Proceedings of the 1997 international symposium on Symbolic and algebraic computation, pages 241-248. ACM Press, 1997
6. National Institute for Standards. GAMS Guide to Available Mathematical Software. http://gams.nist.gov/, February 2003
7. M. Nodine. Invited contribution: The InfoSleuth agent system. In M. Klusch and G. Weiß, editors, Proceedings of the 2nd International Workshop on Cooperative Information Agents II: Learning, Mobility and Electronic Commerce for Information Discovery on the Internet, volume 1435 of LNAI, pages 19-20, Berlin, July 4-7 1998. Springer
8. T. O. Society. OpenMath website. http://www. openmath.org, February 2003
9. A. Solomon and C. A. Struble. Javamath. http:// javamath.sourceforge.net/ , February 2003
10. K. Sycara. In-context information management through adaptive collaboration of intelligent agents. In M. Klusch, editor, Intelligent Information Agents: Cooperative, Rational and Adaptive Information Gathering on the Internet. Springer Verlag, 1999
11. Technical University of Eindhoven. RIACA: Open-Math Library. http://www.riaca.win.tue.nl/ products/openmath/lib/index.html, February 2003
12. F. Wiedijk. Comparing Mathematical Provers. In J. D. Andreas Asperti, Bruno Buchberger, editor, Mathematical Knowledge Management, Second international conference, MKM 2003, volume 2594 of LNCS, pages 188-202. Springer Verlag, 2003
13. Y.Chicha and M.Gaetano. Tbd. Technical report, Implementation Report, The MONET Consortium, February 2003. Available from http://monet.nag.co.uk.