Publications by Year
2008
-
MathServe -- A Framework for Semantic Reasoning Services
Jürgen Zimmer
Doctoral Thesis, Saarland University, Gemany, July 2008.
PDF |
BibTeX
2006
-
The MathServe System for Semantic Web Reasoning Services
Jürgen Zimmer and Serge Autexier
In Proceedings of the 3rd
International Joint Conference on Automated Reasoning, Seattle, USA, August
17-20, 2006.
PDF |
BibTeX
2004
-
Constraint Solving for Proof Planning.
Jürgen Zimmer and Erica Melis
In Journal of Automated Reasoning, Volume 33, Number 1, pages 51-88, July 2004.
BibTeX
-
Integrated Proof Transformation Services.
Jürgen Zimmer, Andreas Meier, Geoff Sutcliffe and Yuan Zhang
In C. Benzmüller and W. Windsteiger (editors), Computer-Supported Mathematical Theory Development. Proceedings of the IJCAR 2004 Workshop 7. Cork, Ireland, July 05, 2004. No. 04-14 RISC Report Series (ISBN 3-902276-04-5), RISC Institute, University of Linz, Austria.
PS.GZ |
PDF |
BibTeX
-
A Framework for Agent-based Brokering of Reasoning Services.
Jürgen Zimmer
In Proceedings of the Mexican International Conference on Artificial
Intelligence 2004 ;
Raul Monroy, Gustavo Arroyo Figueroa and L. Enrique Sucar Eds.;
Springer-Verlag; LNCS 2972; Mexico City, 2004
BibTeX
-
TSTP Data-Exchange Formats for Automated Theorem Proving Tools.
Geoff Sutcliffe, Jürgen Zimmer and Stephan Schulz,
In Weixiong Zhang & Volker Sorge (Eds.) Distributed Constraint Problem
Solving and Reasoning in Multi-Agent Systems, IOS Press, Amsterdam, 2004.
BibTeX
2003
-
A new Framework for Reasoning Agents.
Jürgen Zimmer
In Proceedings of the Workshop on Agents and Automated
Reasoning, 18th International Joint Conference on
Artificial Intelligence; Sorge, V. and Colton, S. and Fisher,
M. and Gow, J. Eds.; Acapulco, Mexico, 2003
PS.GZ |
PDF |
BibTeX
-
Communication Formalisms for
Automated Theorem Proving Tools.
Geoff Sutcliffe, Jürgen Zimmer, Stephan Schulz.
In Proceedings of the Workshop on Agents and Automated
Reasoning, 18th International Joint Conference on
Artificial Intelligence; Sorge, V. and Colton, S. and Fisher,
M. and Gow, J. Eds.; Acapulco, Mexico, 2003
PS.GZ |
PDF |
BibTeX
2002
-
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.
Jürgen Zimmer and Michael Kohlhase
In Proceedings of the 18th International Conference on Automated Deduction
(CADE 18), LNAI 2392, Springer Verlag, 2002
The BibTeX-entry.
-
Proof Development with OMEGA
J. Siekmann and C. Benzmüller and V. Brezhnev and L. Cheikhrouhou and A. Fiedler
and A. Franke and H. Horacek and M. Kohlhase and A. Meier and E. Melis and M. Moschner
and I. Normann and M. Pollet and V. Sorge and C. Ullrich and C.P. Wirth and
J. Zimmer
In Proceedings of the 18th International Conference on Automated Deductionthe
(CADE 18), LNAI 2392, Springer Verlag, 2002
The BibTex-entry
-
Inductive Theorem
Proving and Computer Algebra in the MathWeb Software Bus.
Jürgen Zimmer and Louise Dennis
In Proceedings of the 10th CALCULEMUS Symposium 2002, 3.-5. July 2002
The BibTeX-entry.
-
Integrating HR and tptp2X into MathWeb to
Compare Automated Theorem Provers
Jürgen Zimmer, Andreas Franke, Simon Colton, and Geoff Sutcliffe
In Proceedings the PaPS'02 Workshop on the 18th International Conference on
Automated Deduction, July 2002
The BibTeX-entry.
Reasoning Services in the MathWeb-SB for symbolic verification of Hybrid Systems.
Christoph Benzmüller, Corrado Giromini, Andreas Nonnengart, and Jürgen Zimmer
In Proceedings the VERIFY'02 Workshop on the 18th International Conference on Automated Deduction, 2002
The BibTeX-entry.
2001
-
Towards Mathematical
Agents - Combining Mathweb-SB and LBA.
Jürgen Zimmer, Alessandro Armando, Corrado Giromini
In Proceedings of the 9th CALCULEMUS Symposium 2001, 21.-23. June 2001
The BibTeX-entry.
2000
-
Integrating Constraint
Solving into Proof Planning.
E.Melis,
J. Zimmer, T. Müller.
In Proceedings of the Third International Workshop on Frontiers of
Combining Systems, FoCoS 2000. LNAI 1794 ; Springer Verlag Berlin; March
2000
The BibTeX-entry.
-
Extensions of Constraint Solving for Proof Planning.
E.Melis, T. Müller, J. Zimmer.
In Proceedings of the 14th European Conference on
Artificial Intelligence, ECAI 2000. IOS Press Amsterdam; August 2000
The
BibTeX-entry.
-
Constraintlösen für
Beweisplanung.
Jürgen Zimmer
Master's Thesis, Universität des Saarlandes, May 2000
The BibTeX-entry.
Contact:
Last modified: Fri Sep 22 17:01:25 CEST 2006