## Automated Reasoning: Thirty-Three Basic Research ProblemsDiscusses ways to contribute to the field of automated reasoning by solvving the proposed research problems and exploring new technologies such as parallel processing and logic programming |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

AN OVERVIEW OF SOME OBSTACLES TO | 13 |

THE LIST OF BASIC RESEARCH PROBLEMS | 51 |

REVIEW OF AUTOMATED REASONING | 65 |

Copyright | |

6 other sections not shown

### Common terms and phrases

answer apply approach appropriate argument automated rea automated reasoning program automated theorem proving automation of reasoning axiom binary resolution Boolean rings Chapter choice choose clause language clause retention commutator theorem complete set computer program corresponding database deduction steps definition demodulation discussion effectiveness employ EQUAL(u,v EQUAL(x,x equality substitution example exist experiments field of automated find a proof first-order predicate calculus focus focusing given assignment gram group theory hyperparamodulation hyperresolution identity inference rule input clauses inverse lemmas literals logic logic programming Lusk82a mathematics McCharen76a notation obstacle obtained paradigm paramodulation particular predicate procedure program ITP program verification proof by contradiction proposed solution puzzle question rely representation result retained clauses ring theory set of clauses set of reductions set of support set theory solution to Research solving Research Problem soning program specific Springer-Verlag subgroup subsumption support strategy term ternary Boolean algebra theorem proving tion unit clauses UR-resolution variables various