Using tactics to reformulate formulae for resolution theorem proving

Manfred Kerber; Axel Präcklein

doi:10.1007/bf02127748

Using tactics to reformulate formulae for resolution theorem proving

Annals of Mathematics and Artificial Intelligence ◽

10.1007/bf02127748 ◽

1996 ◽

Vol 18 (2) ◽

pp. 221-241 ◽

Cited By ~ 4

Author(s):

Manfred Kerber ◽

Axel Präcklein

Keyword(s):

Theorem Proving ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text

Resolution Theorem Proving

Annual Review of Computer Science ◽

10.1146/annurev.cs.03.060188.001441 ◽

1988 ◽

Vol 3 (1) ◽

pp. 285-316 ◽

Cited By ~ 3

Author(s):

M E Stickel

Keyword(s):

Theorem Proving ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text

Term rewriting in contemporary resolution theorem proving

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-59200-8_50 ◽

1995 ◽

pp. 101-101

Author(s):

Mark E. Stickel

Keyword(s):

Theorem Proving ◽

Term Rewriting ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text

Limited resource strategy in resolution theorem proving

Journal of Symbolic Computation ◽

10.1016/s0747-7171(03)00040-3 ◽

2003 ◽

Vol 36 (1-2) ◽

pp. 101-115 ◽

Cited By ~ 22

Author(s):

Alexandre Riazanov ◽

Andrei Voronkov

Keyword(s):

Theorem Proving ◽

Limited Resource ◽

Resolution Theorem ◽

Resolution Theorem Proving ◽

Resource Strategy

Download Full-text

Z-Resolution: Theorem-Proving with Compiled Axioms

Journal of the ACM ◽

10.1145/321738.321748 ◽

1973 ◽

Vol 20 (1) ◽

pp. 127-147 ◽

Cited By ~ 10

Author(s):

John K. Dixon

Keyword(s):

Theorem Proving ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text

Explanation-Based Generalization as Resolution Theorem Proving

Proceedings of the Fourth International Workshop on MACHINE LEARNING ◽

10.1016/b978-0-934613-41-5.50041-6 ◽

1987 ◽

pp. 383-389 ◽

Cited By ~ 59

Author(s):

SMADAR T. KEDAR-CABELLI ◽

L. THORNE MCCARTY

Keyword(s):

Theorem Proving ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text

Non-resolution theorem proving

Artificial Intelligence ◽

10.1016/0004-3702(77)90012-1 ◽

1977 ◽

Vol 9 (1) ◽

pp. 1-35 ◽

Cited By ~ 138

Author(s):

W.W. Bledsoe

Keyword(s):

Theorem Proving ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text

Thea priorimeaningfulness measure and resolution theorem proving

Journal of Experimental & Theoretical Artificial Intelligence ◽

10.1080/09528138908953703 ◽

1989 ◽

Vol 1 (3) ◽

pp. 227-230 ◽

Cited By ~ 3

Author(s):

JOSEPH S. FULDA ◽

KEVIN DE FONTES

Keyword(s):

Theorem Proving ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text

Using Sophisticated Models in Resolution Theorem Proving

10.1007/3-540-10231-0 ◽

1980 ◽

Cited By ~ 3

Keyword(s):

Theorem Proving ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text

Resolution theorem proving in reified modal logics

Journal of Automated Reasoning ◽

10.1007/bf00881845 ◽

1994 ◽

Vol 12 (1) ◽

pp. 103-129 ◽

Cited By ~ 3

Author(s):

J. Stuart Aitken ◽

Han Reichgelt ◽

Nigel Shadbolt

Keyword(s):

Theorem Proving ◽

Modal Logics ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text

RESOLUTION THEOREM PROVING: A LOGICAL POINT OF VIEW

Logic Colloquium '01 ◽

10.1201/9781439865736-1 ◽

2005 ◽

pp. 3-42

Author(s):

ALEXANDER LEITSCH

Keyword(s):

Theorem Proving ◽

Point Of View ◽

Logical Point ◽

Resolution Theorem ◽

Resolution Theorem Proving

Download Full-text