Axel Präcklein

According to our database, Axel Präcklein authored at least 5 papers between 1991 and 1996.

Collaborative distances:

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

1996

Using Tactics to Reformulate Formulae for Resolution Theorem Proving.

Manfred Kerber, Axel Präcklein

Ann. Math. Artif. Intell., 1996

1995

Reformulating Resolution Problems by Tactics.

Manfred Kerber, Axel Präcklein

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1992

Integration of rewriting, narrowing, compilation, and heuristics for equality reasoning in resolution-based theorem proving.

Axel Präcklein

PhD thesis, 1992

1991

Reduction Rules for Resolution-Based Systems.

Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein

Artif. Intell., 1991

Proof Transformation with Built-in Equality Predicate.

Christoph Lingenfelder, Axel Präcklein

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991