2006 |
8 | EE | Jürgen Zimmer,
Serge Autexier:
The MathServe System for Semantic Web Reasoning Services.
IJCAR 2006: 140-144 |
2004 |
7 | EE | Jürgen Zimmer:
A Framework for Agent-Based Brokering of Reasoning Services.
MICAI 2004: 212-221 |
6 | EE | Jürgen Zimmer,
Erica Melis:
Constraint Solving for Proof Planning.
J. Autom. Reasoning 33(1): 51-88 (2004) |
2002 |
5 | EE | Jürgen Zimmer,
Louise A. Dennis:
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.
AISC 2002: 319-331 |
4 | EE | Jürgen Zimmer,
Michael Kohlhase:
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.
CADE 2002: 139-143 |
3 | EE | Jörg H. Siekmann,
Christoph Benzmüller,
Vladimir Brezhnev,
Lassaad Cheikhrouhou,
Armin Fiedler,
Andreas Franke,
Helmut Horacek,
Michael Kohlhase,
Andreas Meier,
Erica Melis,
Markus Moschner,
Immanuel Normann,
Martin Pollet,
Volker Sorge,
Carsten Ullrich,
Claus-Peter Wirth,
Jürgen Zimmer:
Proof Development with OMEGA.
CADE 2002: 144-149 |
2000 |
2 | | Erica Melis,
Jürgen Zimmer,
Tobias Müller:
Extensions of Constraint Solving for Proof Planning.
ECAI 2000: 229-233 |
1 | | Erica Melis,
Jürgen Zimmer,
Tobias Müller:
Integrating Constraint Solving into Proof Planning.
FroCos 2000: 32-46 |