Rolf Socher

According to our database, Rolf Socher authored at least 20 papers between 1988 and 2007.

Collaborative distances:

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

2007

Wissensverarbeitung - eine Einführung in die künstliche Intelligenz für Informatiker und Ingenieure, 2. Auflage.

Ingo Boersch, Jochen Heinsohn, Rolf Socher

Elsevier Spektrum Akademischer Verlag, 2007

1997

Deduction systems.

Rolf Socher-Ambrosius, Patricia Johann

Graduate Texts in Computer Science, Springer, ISBN: 978-1-4612-2266-8, 1997

1994

Solving Simplification Ordering Constraints.

Patricia Johann, Rolf Socher-Ambrosius

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

A Refined Version of General E-Unification.

Rolf Socher-Ambrosius

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Deduktionssysteme.

Rolf Socher-Ambrosius

BI-Wissenschaftsverlag, ISBN: 978-3-411-17171-2, 1994

1993

Unification in Order-Sorted Logic With Term Declarations.

Rolf Socher-Ambrosius

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992

How to Avoid the Derivation of Redundant Clauses in Reasoning Systems.

Rolf Socher-Ambrosius

J. Autom. Reason., 1992

A Goal Oriented Strategy Based on Completion.

Rolf Socher-Ambrosius

Proceedings of the Algebraic and Logic Programming, 1992

1991

On the Relation Between Resolution Based and Completion Based Theorem Proving.

Rolf Socher

J. Symb. Comput., 1991

Optimizing the Clausal Normal Form Transformation.

Rolf Socher

J. Autom. Reason., 1991

Boolean Algebra Admits No Convergent Term Rewriting System.

Rolf Socher-Ambrosius

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990

Simplification and reduction for automated theorem proving.

Rolf Socher

PhD thesis, 1990

Another Technique for Proving Completeness of Ground Resolution.

Rolf Socher-Ambrosius

Bull. EATCS, 1990

1989

Workshop on Automated Reasoning.

Jürgen Müller, Rolf Socher-Ambrosius

Künstliche Intell., 1989

Detecting Redundancy Caused by Congruent Links in Clause Graphs.

Rolf Socher-Ambrosius

Proceedings of the GWAI-89, 1989

A Resolution Calculus Extende by Equivalence.

Jürgen Müller, Rolf Socher-Ambrosius

Proceedings of the GWAI-89, 1989

Reducing the Derivation of Redundant Clauses in Reasoning Systems.

Rolf Socher-Ambrosius

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Using Theory Resolution to Simplify Interpreted Formulae.

Rolf Socher-Ambrosius

Proceedings of the Künstliche Intelligenz, 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

A Subsumption Algorithm Based on Characteristic Matrices.

Rolf Socher

Proceedings of the 9th International Conference on Automated Deduction, 1988