Refutational theorem proving using term-rewriting systems
Artificial Intelligence
Automated reasoning: 33 BASIC research problems
Automated reasoning: 33 BASIC research problems
A new method for the Boolean ring based theorem proving
Journal of Symbolic Computation
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
On the Unnecessity of Multiple Overlaps in Completion Theorem Proving
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung
Topics in automated theorem proving and program generation
Topics in automated theorem proving and program generation
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Hi-index | 0.00 |
The concept of well-behaved inference rules is developed in first-orderpolynomial-based theorem proving. It is shown that well-behaved inferencerules are complete for both the set of support strategy and the linearstrategy. Furthermore, two concrete inference rules that are well behavedare presented, and two other strategies for them are described.