메뉴 건너뛰기
Journal of Automated Reasoning
Volumn 2, Issue 4, 1986, Pages 329-390
Automated reasoning in geometry theorem proving with Prolog
Author keywords

Automated reasoning; heuristics; knowledge representation; logic programming; theorem proving
Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;
EID: 0023018402     PISSN: 01687433     EISSN: 15730670     Source Type: Journal    
DOI: 10.1007/BF00248249     Document Type: Article
Times cited : (37)
References (21)
  • 1
    • 84934635354 scopus 로고    scopus 로고
    • Anderson, J. R., ‘Turning of search of the problem space for geometry proofs’ Proc. of the 7th IJCAI (1981).
  • 2
    • 84934635352 scopus 로고    scopus 로고
    • Anderson, J. R., Boyle, C. F., Yost, G., The Geometry Tutor, Proc. of the 9th IJCAI (1985).
  • 3
    • 84934635357 scopus 로고    scopus 로고
    • Coelho, H., ‘An inquiry on the geometry machine and its extensions with a review of previous work,’ Working report No. 1 for INVOTAN (1974).
  • 4
    • 84934635355 scopus 로고    scopus 로고
    • Coelho, H., Cotta, J. C., and Pereira, L. M., ‘How to solve it with Prolog’, LNEC 2nd. edition (1982).
  • 5
    • 84934635359 scopus 로고    scopus 로고
    • Clocksin, W. and Mellish, C., Programming in Prolog Springer-Verlag (1981).
  • 6
    • 84934635339 scopus 로고    scopus 로고
    • van Emden, M., Programming with Resolution Logic, Research report CS-75-30, University of Waterloo (1975).
  • 7
    • 84934635341 scopus 로고    scopus 로고
    • Fearnley-Sander, D. ‘Using and computing symmetry in geometry proofs’, in (ed. Ross, P.) Proc. of AISB-84 (1985).
  • 8
    • 84934635343 scopus 로고    scopus 로고
    • Gelernter, H. and Rochester, N., ‘Intelligent behaviour in problem-solving machines’, IBM Journal, October (1958).
  • 9
    • 84934635346 scopus 로고    scopus 로고
    • Gelernter, H., ‘A note on syntactic symmetry and the manipulation of formal systems by machine’, Information and Control No. 2 (1959).
  • 10
    • 84934635000 scopus 로고    scopus 로고
    • Gelernter, H., ‘Realization of a geometry theorem proving machine’, Proc. Int. Conf. on Information Processing (1959).
  • 12
    • 84934635002 scopus 로고    scopus 로고
    • Goldstein, I., Elementary Geometry Theorem Proving, MIT, AI Lab memo no. 280 (April 1973).
  • 13
    • 84934635004 scopus 로고    scopus 로고
    • Nevins, A., ‘Plane geometry theorem proving using forward chaining’, Artificial Intelligence No. 1 (Spring 1975).
  • 14
    • 84934635005 scopus 로고    scopus 로고
    • Pereira, L. M. and Meltzer, B., ‘Implementation of an efficient predicate logic interpreter based on Earley deduction’, Scientific Proposal report for the SRC (April 1975).
  • 15
    • 84934635006 scopus 로고    scopus 로고
    • Reiter, R., ‘The use of models in automatic theorem-proving’, Univ. of British Columbia, Techn. report 72-04 (Sept. 1972).
  • 16
    • 84934635007 scopus 로고    scopus 로고
    • Roussel, P., ‘Prolog — Manuel de reference et d'utilization’, G.I.A., U.E.R. de Luminy, Univ. d'AixMarseille, 1975.
  • 17
    • 84934635008 scopus 로고    scopus 로고
    • Warren, D., ‘Epilog: an users' guide to DEC-10 Prolog’, DAI report, Univ. of Edinburgh (August 1975).
  • 18
    • 84934635010 scopus 로고    scopus 로고
    • Welham, R., ‘G,a geometry theorem prover’, (unpublished) (March 1975).
  • 19
    • 84934635009 scopus 로고    scopus 로고
    • Welham, R., ‘Geometry problem solving’, D.A.I. Research Report No. 14 (January 1976).
  • 20
    • 84934635012 scopus 로고    scopus 로고
    • Wen-Tsun, W., ‘Some recent advances in mechanical theorem-proving of geometries’, in Contemporary Mathematics: Automated Theorem Proving after 25 Years, American Mathematical Society, Volume 29, 1984.
  • 21
    • 84934635011 scopus 로고    scopus 로고
    • Wen-Tsun, W., ‘On the decision problem and the mechanization of theorem-proving in elementary geometry’, in Contemporany Mathematics: Automated Theorem Proving After 25 Years, American Mathematical Society, Vol. 29, 1984.

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.