Stefan Bayerl

According to our database, Stefan Bayerl authored at least 6 papers between 1985 and 1992.

Collaborative distances:

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

1992

Graph Based Extension of the LILOG Inference Engine

Stefan Bayerl, Karl-Hans Bläsius

IWBS Report, 1992

SETHEO: A High-Performance Theorem Prover.

Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel

J. Autom. Reason., 1992

1989

PARTHEO: A Parallel Inference Machine.

Stefan Bayerl, Reinhold Letz, Johann Schumann

Proceedings of the Wissensbasierte Systeme, 1989

1986

An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.

Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

An Implemented Simulation of a Parallel Theorem Prover.

Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1985

Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine.

K. Aspetsberger, Stefan Bayerl

Proceedings of the GWAI-85, 1985