Agent-Oriented Integration of Distributed Mathematical Services (1999)

Cached

Download Links

by Andreas Franke , Stephan M. Hess , Christoph G. Jung , Michael Kohlhase , Volker Sorge
Venue:Journal of Universal Computer Science
Citations:19 - 10 self

Active Bibliography

1 An Implementation of Distributed Mathematical Services – Stephan Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge - 1998
Coordination of Mathematical Agents – Jürgen Zimmer - 2001
41 MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems – Michael Kohlhase, Andreas Franke - 2000
AGS 2004 This SEKI Report was internally reviewed by: – Fachrichtung Informatik, Christoph Benzmüller, Volker Sorge, Claus-peter Wirth - 901
1 ΩMEGA -- a mathematical assistant system – Jörg Siekmann, Michael Kohlhase, Erica Melis - 1999
1 Planning Equivalence Proofs – Lassaad Cheikhrouhou, Volker Sorge, Fachbereich Informatik - 1998
14 Critical Agents Supporting Interactive Theorem Proving – Christoph Benzmuller, Volker Sorge - 1999
3 The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics – Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise - 2000
3 Towards Concurrent Resource Managed Deduction – Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge - 1999
2 The Control Component of Open Mechanized Reasoning Systems – Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia - 1999
1 Open Mechanized Reasoning Systems: a Preliminary Report – Alessandro Armando, Piergiorgio Bertoli, Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Silvio Ranise, Carolyn Talcott - 1998
6 Non-trivial Symbolic Computations in Proof Planning – Volker Sorge - 2000
2 Integrating TPS with ΩMEGA – Christoph Benzmüller, Volker Sorge - 1998
7 Integrating TPS and ΩMEGA – Christoph Benzmüller, Matthew Bishop, Volker Sorge - 1999
69 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
1 Specialized External Reasoners in Proof Planning – U Niv, Erica Melis, Volker Sorge - 2000
28 PDS -- A Three-Dimensional Data Structure for Proof Plans – Lassaad Cheikhrouhou, Volker Sorge - 2000
24 A blackboard architecture for guiding interactive proofs – Christoph Benzmüller, Volker Sorge - 1998
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern