Jürgen Zimmer

According to our database, Jürgen Zimmer authored at least 9 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

MathServe: a framework for semantic reasoning services.

Jürgen Zimmer

PhD thesis, 2008

2006

The MathServe System for Semantic Web Reasoning Services.

Jürgen Zimmer, Serge Autexier

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2004

Constraint Solving for Proof Planning.

Jürgen Zimmer, Erica Melis

J. Autom. Reason., 2004

A Framework for Agent-Based Brokering of Reasoning Services.

Jürgen Zimmer

Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

2002

System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.

Jürgen Zimmer, Michael Kohlhase

Proceedings of the Automated Deduction, 2002

Proof Development with OMEGA.

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

Proceedings of the Automated Deduction, 2002

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.

Jürgen Zimmer, Louise A. Dennis

Proceedings of the Artificial Intelligence, 2002

2000

Integrating Constraint Solving into Proof Planning.

Erica Melis, Jürgen Zimmer, Tobias Müller

Proceedings of the Frontiers of Combining Systems, 2000

Extensions of Constraint Solving for Proof Planning.

Erica Melis, Jürgen Zimmer, Tobias Müller

Proceedings of the ECAI 2000, 2000