MAXIMAL MODELS AND REFUTATION COMPLETENESS: SEMIDECISION PROCEDURES IN AUTOMATIC THEOREM PROVING

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0011 ◽

2010 ◽

pp. 104-128

Author(s):

Lawrence WOS ◽

George ROBINSON

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Maximal Models ◽

Automatic Theorem

Download Full-text

Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71923-2 ◽

1973 ◽

pp. 609-639 ◽

Author(s):

Lawrence Wos ◽

George Robinson

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Maximal Models ◽

Automatic Theorem

Download Full-text

Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_33 ◽

1983 ◽

pp. 578-608

Author(s):

L. T. Wos ◽

G. A. Robinson

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Maximal Models ◽

Automatic Theorem

Download Full-text

Logic Control via Automatic Theorem Proving: COCOLOG Fragments Implemented in Blitzensturm 5.0

1993 American Control Conference ◽

10.23919/acc.1993.4793060 ◽

1993 ◽

Author(s):

P.E. Caines ◽

T. Mackling ◽

Y.J. Wei

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Logic Control ◽

Automatic Theorem

Download Full-text

Examples of automatic theorem proving a real geometry

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 ◽

10.1145/190347.190354 ◽

1994 ◽

Author(s):

Ahmed Guergueb ◽

Jean Mainguené ◽

Marie-Françoise Roy

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Real Geometry ◽

Automatic Theorem

Download Full-text

Pirotte, A., Automatic Theorem Proving Basedon Resolution (Automatic Programming), Volume 7, Part 4 (1973). IV. 201–266 S. Oxford/New York/Toronto/Sydney/Braunschweig 1973. Pergamon Press. Preis brosch. £ 2.00

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19740541027 ◽

1974 ◽

Vol 54 (10) ◽

pp. 748-748

Author(s):

J. Metz

Keyword(s):

New York ◽

Theorem Proving ◽

Automatic Programming ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Refinements to depth-first iterative-deepening search in automatic theorem proving

Artificial Intelligence ◽

10.1016/0004-3702(89)90011-8 ◽

1989 ◽

Vol 41 (2) ◽

pp. 223-235

Author(s):

Xumin Nie ◽

David A. Plaisted

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_36 ◽

2004 ◽

pp. 457-461 ◽

Author(s):

Thomas Ball ◽

Byron Cook ◽

Shuvendu K. Lahiri ◽

Lintao Zhang

Keyword(s):

Theorem Proving ◽

Predicate Abstraction ◽

Automatic Theorem Proving ◽

Abstraction Refinement ◽

Automatic Theorem

Download Full-text

Semantic Trees in Automatic Theorem-Proving

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_13 ◽

1983 ◽

pp. 217-232 ◽

Author(s):

R. Kowalski ◽

P. J. Hayes

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Automatic theorem proving. II

Cybernetics ◽

10.1007/bf01078915 ◽

1988 ◽

Vol 23 (4) ◽

pp. 547-556 ◽

Author(s):

A. A. Voronkov ◽

A. I. Degtyarev

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques

IEEE Transactions on Computers ◽

10.1109/tc.1983.1676328 ◽

1983 ◽

Vol C-32 (9) ◽

pp. 785-798 ◽

Author(s):

Wojciechowski ◽

Wojcik

Keyword(s):

Theorem Proving ◽

Automated Design ◽

Logic Circuits ◽

Automatic Theorem Proving ◽

Multiple Valued Logic ◽

Automatic Theorem

Download Full-text