The problem of explaining the disparate performance of hyperresolution and paramodulation

@article{Wos1988ThePO,
  title={The problem of explaining the disparate performance of hyperresolution and paramodulation},
  author={Larry Wos},
  journal={Journal of Automated Reasoning},
  year={1988},
  volume={4},
  pages={215-217}
}
This article is the sixth of a series of articles discussing various open research problems in automated reasoning. Here we focus on the effectiveness of hyperresolution versus that of paramodulation. The problem proposed for research asks one to find the properties that explain why paramodulation is so much more effective than hyperresolution is for solving various problems from algebra. Fore evaluating a proposed solution to this research problem, we include suggestions concerning possible… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

semldecision procedures in automatic theorem proving', pp

L. Wos, G. Robinson, 'Maximal models, refutation completeness
  • 609-639 in Word Problems: Decision Problems and the Burnside Problem in Group Theory, ed W. Boone, F Cannonito, and R. Lyndon, North-Holland, New York
  • 1973
VIEW 1 EXCERPT

Paramodulation and set of support

L. Wos, George A. Robinson
  • 1970
VIEW 1 EXCERPT