Preview
Unable to display preview. Download preview PDF.
References
Boyer, R. S. Locking, a restriction of resolution, Ph.D. Thesis, University of Texas at Austin (1971).
Kling, R. E. A paradigm for reasoning by analogy, Artificial Intelligence 2(1971), pp. 147–178.
Lankford, D. S. Canonical algebraic simplification in computational logic. Report No. ATP-25, Southwestern University, Georgetown, Texas (1975).
Munyer, J. C. Towards the use of analogy in deductive tasks, University of California at Santa Cruz (1979).
Newell, A. and Simon, H. GPS, a program that simulates human thought, Computers and Thought, E. A. Feigenbaum and J. Feldman (Eds.), McGraw-Hill, New York, 1963, pp. 279–293.
Plaisted, D. Theorem proving with abstraction, part II, Report No. UIUCDCS-R-79-965, University of Illinois, Urbana, Illinois (1979).
Robinson, J. A. Automatic deduction with hyper-resolution, Internat. J. Comput. Math. 1 (1965), pp. 227–234.
Sacerdoti, E. Planning in a hierarchy of abstraction spaces, Artificial Intelligence 5 (1974), pp. 115–135.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plaisted, D.A. (1980). Abstraction mappings in mechanical theorem proving. In: Bibel, W., Kowalski, R. (eds) 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980. CADE 1980. Lecture Notes in Computer Science, vol 87. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10009-1_21
Download citation
DOI: https://doi.org/10.1007/3-540-10009-1_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10009-6
Online ISBN: 978-3-540-38140-2
eBook Packages: Springer Book Archive