Open Math: Communicating Mathematical Information between Co-Operating Agents in a Knowledge Network

Journal of Intelligent Systems

Volumn 8, Issue 3-4, 1998, Pages 401-426

  Abbott, John ^a   Leeuwen, Andre van ^b   Strotmann, Andreas ^c   Richardson, Mike ^d   Roelofs, Marcel ^d  

^a UNIVERSITY OF GENOA   (Italy)

^b Shell Services International   (Netherlands)

^c UNIVERSITY OF COLOGNE   (Germany)

^d NONE

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER NETWORKS;

COMMUNICATING MATHEMATICAL INFORMATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0032288675     PISSN: 03341860     EISSN: None     Source Type: Journal    
DOI: 10.1515/JISYS.1998.8.3-4.401     Document Type: Article

References (20)

1. Abbott, J. Possoxdr Specifications. POSSO project internal technical report (1994).
2. Arnon, D., Beach, R., Mclsaac, K., Waldspurger, C. Camino Real: an Interactive Mathematical Notebook. Document Manipulation and Typography: International Conference on Electronic Publishing, Document Manipulation and Typography, Nice. Cambridge: Cambridge University Press (1988).
3. van Benthem, J. The Fine-Structure of Categorial Semantics. Workshop on Computational Linguistics and Formal Semantics, Lugano: Istituto Dalle Molle. (1988).
4. Dalmas, S., Gaetano, ML, Sausse, A. ASAP: a protocol for symbolic computation systems. Rapport Technique 162, March 1994. Nice: INRIA. (1994).
5. Dalmas, S., Gaetano, M., Sausse, A. Distributed computer algebra: the Central Control approach. PASCO'94. (1994).
6. Fanselow, G., Felix, Sprachtheorie. Tübingen: Francke. (1987).
7. Finin, T., Weber, J., Wiederhold, G., Genesereth, M., Fritzson, R., McKay, D., McGuire, J., Pelavin, P., Shapiro, S., Beck, C. Specification of the KQML Agent-Communication Language. KIT Technical Report 92-04. Palo Alto, CA: Enterprise Integration Technologies. (1993).
8. Genesereth, M.R., Fikes, R.E. Knowledge Interchange Format, Version 3.0 Reference Manual. Technical Report Logic-92-1. Stanford, CA: Stanford University, Computer Science Dept. (1992).
9. Gray, S., Kajler, N., Wang, P.M.P.: A Protocol for Efficient Exchange of Mathematical Expressions. Proceedings ISSAC'94. ACM Press. (1994):
10. Gruber, T.R., Olsen, G.R. An ontology for engineering mathematics. Conference on Principles of Knowledge Representation and Reasoning 1994, Morgan Kaufmann. (1994).
11. Hogg, T., Williams, C.P. Solving the Really Hard Problems with Cooperative Search. Xerox PARC Technical Report. Palo Alto, CA: Xerox PARC. (1993).
12. ISO/IEC 8824 Information technology-Open Systems Interconnection-Specification of Abstract Syntax Notation One (ASN.l). Geneva: ISO. (1990).
13. ISO/IEC 8825 Information technology-Open Systems Interconnection-Specification of Basic Encoding Rules for Abstract Syntax Notation One (ASN.1). Geneva: ISO. (1990).
14. ISO 8879 Information Processing-Text and Office Systems-Standard Generalized Markup Language (SGML). Geneva: ISO. (1986, 1988).
15. ISO/IEC 10646-1 Information technology-Universal Multiple-Octet Coded Character Set (UCS) Part 1: Architecture and Basic Multilingual Plane. Geneva: ISO. (1993, 1995).
16. Johnson, Rosner, Rupp. Situation Schemata and Linguistic Representation. Workshop on Computational Linguistics and Formal Semantics. Lugano: Istituto Dalle Molle. (1988).
17. Kajler, N. Cas/pi: a portable and extensible interface for computer algebra systems. Proceedings ISSAC'92. ACM Press. (1992).
18. Text Encoding Initiative Text Encoding Rules P3. (1994).
19. Vorkoetter, S. OpenMath Specification: March 1994. Available at URL http://www.can.nl/abbott/OpenMath/reports/prototype0-spec.ps.gz (1994).
20. WRI. MathLink Reference Guide Version 2.2. Mathematica Technical Report. Wolfram Research. (1993).