Jürgen Müller

According to our database, Jürgen Müller authored at least 9 papers between 1986 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1993

Bargaining Agents.

Stefan Bussmann, Jürgen Müller

Proceedings of the Progress in Artificial Intelligence, 1993

1989

Workshop on Automated Reasoning.

Jürgen Müller, Rolf Socher-Ambrosius

Künstliche Intell., 1989

THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques.

Jürgen Avenhaus, Jörg Denzinger, Jürgen Müller

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

A Resolution Calculus Extende by Equivalence.

Jürgen Müller, Rolf Socher-Ambrosius

Proceedings of the GWAI-89, 1989

EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ.

Jörg Denzinger, Jürgen Müller

Proceedings of the GWAI-89, 1989

1988

On the Unnecessity of Multiple Overlaps in Completion Theorem Proving.

Jürgen Müller, Rolf Socher-Ambrosius

Proceedings of the Künstliche Intelligenz, 1988

1987

THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix Procedure.

Jürgen Müller

Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

1986

Effiziente Reduktionsstrategien in Termersetzunssystemen.

Jürgen Müller, Elvira Wagner

Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

Topologische Multisetordnungen.

Jürgen Müller, Joachim Steinbach

Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986