Inductive Reasoning in Mathematics
Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Specialized Systems. Pages 844-849.
Abstract
We investigate several methods of inductive reasoning in the domain of difference equations, including the method of generalization with beliefs, the method of successive refinement, and temporal methods based on comparisons with previously solved problems.
Frank M. Brown, and Sten-Åke Tärnlund. 1977. Inductive Reasoning in Mathematics. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 844–849. https://ijcai.org/proceedings/1977/200
Brown, F. M., & Tärnlund, S. (1977). Inductive Reasoning in Mathematics. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77 (pp. 844–849). IJCAI. https://ijcai.org/proceedings/1977/200
@inproceedings{ijcai1977p200,
title = {Inductive Reasoning in Mathematics},
author = {Brown, Frank M. and Tärnlund, Sten-Åke},
booktitle = {Proceedings of the Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-77}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Raj Reddy},
pages = {844--849},
year = {1977},
note = {Specialized Systems},
url = {https://ijcai.org/proceedings/1977/200},
}
TY - CPAPER TI - Inductive Reasoning in Mathematics AU - Brown, Frank M. AU - Tärnlund, Sten-Åke T2 - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77 PB - International Joint Conferences on Artificial Intelligence PY - 1977 SP - 844 EP - 849 UR - https://ijcai.org/proceedings/1977/200 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
