Communication Protocols for mathematical services based on KQML and OMRS

Kohlhase M, Armando A, Ranise S (2001)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2001

Pages Range: 33-48

Abstract

The material presented in this paper is a first exploratory step towards the definition of the interaction level in OMRS, supplies a concrete syntax based on the OPENMATH standard, and gives a semantics to communication of mathematical services in distributed theorem proving and symbolic computation environments.

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

University of Genova / Università degli Studi di Genova IT Italy (IT)

How to cite

APA:

Kohlhase, M., Armando, A., & Ranise, S. (2001). Communication Protocols for mathematical services based on KQML and OMRS. (pp. 33-48).

MLA:

Kohlhase, Michael, Alessandro Armando, and Silvio Ranise. "Communication Protocols for mathematical services based on KQML and OMRS." 2001. 33-48.

BibTeX: Download