×

OMRS

swMATH ID: 3359
Software Authors: Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio
Description: Communication protocols for mathematical services based on KQML and OMRS We describe the first ideas for formalizing a communication protocol for mathematical services based on KQML (Knowledge Query and Manipulation Language) and OMRS (Open Mechanized Reasoning Systems). The claim is that the interaction level of a communication protocol for mathematical services can be relatively generic (hence KQML suffices), as long as the ontology of the computational behavior and internal state of the mathematical services is sufficiently expressive and concise (which we have in OMRS).par 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.
Homepage: http://scholar.googleusercontent.com/scholar?q=cache:58NVx_QusvoJ:scholar.google.com/+OMRS+Armando&hl=de&as_sdt=0,5
Keywords: open mechanized reasoning systems
Related Software: Analytica; Theorema; PVS; Nuprl; PROSPER; Maple; Isabelle; IMPS; Coq; NQTHM; AXIOM; Automath; MBase; OMDoc; Oz; CAS/PI; Mathematica; MathWeb; REDLOG; VSDITLU
Cited in: 38 Documents

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Communication protocols for mathematical services based on KQML and OMRS. Zbl 0986.68003
Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio
2001
all top 5

Cited by 43 Authors

7 Calmet, Jacques
7 Giunchiglia, Fausto
6 Kohlhase, Michael
5 Armando, Alessandro
5 Homann, Karsten
3 Bellman, Kirstie L.
3 Caprotti, Olga
3 Coglio, Alessandro
3 Landauer, Christopher
3 Oostdijk, Martijn Diederik
3 Ranise, Silvio
3 Sorge, Volker
3 Talcott, Carolyn L.
2 Bertoli, P. G.
2 Franke, Andreas
2 Gottliebsen, Hanne
2 Kelsey, Tom
2 Martin, Ursula
2 Meseguer Guaita, José
2 Pecchiari, Paolo
1 Adams, Andrew A.
1 Ballarin, Clemens
1 Campbell, John A.
1 Carette, Jacques
1 Cohen, Arjeh Marcel
1 Denney, Ewen
1 Dunstan, Martin
1 Farmer, William M.
1 Ferré, Sébastien
1 Hess, Stephan M.
1 Hutter, Dieter
1 Jung, Christoph G.
1 Kerber, Manfred
1 Martí-Oliet, Narciso
1 Monfroy, Eric
1 Owre, Sam
1 Ridoux, Olivier
1 Ringeissen, Christophe
1 Roanes-Lozano, Eugenio
1 Slissenko, Anatol
1 Solomon, Andrew
1 Zimmer, Jürgen
1 Zini, Daniele
all top 5

Cited in 9 Serials

6 Journal of Symbolic Computation
3 Fundamenta Informaticae
2 Applied Mathematics and Computation
2 Journal of Automated Reasoning
1 Journal of Mathematical Analysis and Applications
1 Mathematics and Computers in Simulation
1 Theoretical Computer Science
1 Journal of Universal Computer Science
1 Lecture Notes in Computer Science
all top 5

Cited in 7 Fields

37 Computer science (68-XX)
5 Mathematical logic and foundations (03-XX)
3 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)
1 Number theory (11-XX)
1 Information and communication theory, circuits (94-XX)
1 Mathematics education (97-XX)

Citations by Year