{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:32:53Z","timestamp":1725471173410},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540371045"},{"type":"electronic","value":"9783540371069"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11812289_19","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T08:23:44Z","timestamp":1159518224000},"page":"237-250","source":"Crossref","is-referenced-by-count":1,"title":["Managing Automatically Formed Mathematical Theories"],"prefix":"10.1007","author":[{"given":"Simon","family":"Colton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Torres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Cairns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Sorge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Anderson, M.: A critical evaluation of Lenat\u2019s AM program. Technical Report TR 89-09-19, Department of Computer Science, University of Washington (1989)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Methodologies for Intelligent Systems","author":"R. Bagai","year":"1993","unstructured":"Bagai, R., Shanbhogue, V., Zytkow, J., Chou, S.: Automatic theorem generation in plane geometry. In: Komorowski, J., Ra\u015b, Z.W. (eds.) ISMIS 1993. LNCS, vol.\u00a0689, Springer, Heidelberg (1993)"},{"key":"19_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0147-5","volume-title":"Automated Theory Formation in Pure Mathematics","author":"S. Colton","year":"2002","unstructured":"Colton, S.: Automated Theory Formation in Pure Mathematics. Springer, Heidelberg (2002)"},{"key":"19_CR4","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Deduction - CADE-18","author":"S. Colton","year":"2002","unstructured":"Colton, S.: The HR program for theorem generation. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, Springer, Heidelberg (2002)"},{"key":"19_CR5","unstructured":"Colton, S., Bundy, A., Walsh, T.: Automatic identification of mathematical concepts. In: Proceedings of ICML (2000)"},{"issue":"3","key":"19_CR6","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1006\/ijhc.2000.0394","volume":"53","author":"S. Colton","year":"2000","unstructured":"Colton, S., Bundy, A., Walsh, T.: On the notion of interestingness in automated mathematical discovery. International Journal of Human Computer Studies\u00a053(3), 351\u2013375 (2000)","journal-title":"International Journal of Human Computer Studies"},{"key":"19_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-540-25984-8_30","volume-title":"Automated Reasoning","author":"S. Colton","year":"2004","unstructured":"Colton, S., Meier, A., Sorge, V., McCasland, R.: Automatic generation of classification theorems for finite algebras. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 400\u2013414. Springer, Heidelberg (2004)"},{"key":"19_CR8","unstructured":"Epstein, S.: On the discovery of mathematical theorems. In: Proceedings of the International Joint Conference on Artificial Intellignce (1987)"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0012-365X(88)90199-9","volume":"72","author":"S. Fajtlowicz","year":"1988","unstructured":"Fajtlowicz, S.: On conjectures of Graffiti. Discrete Mathematics\u00a072, 23 (1988)","journal-title":"Discrete Mathematics"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Hentzel, I., Jacobs, D., Muddana, S.: Experimenting with the identity (xy)z = y(zx). Technical report, Clemson University (1993)","DOI":"10.1006\/jsco.1993.1047"},{"key":"19_CR11","unstructured":"Humphreys, J.: A Course in Group Theory. In: OUP (1996)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Jacobs, D.: The Albert non-associative algebra system: a progress report. Technical report, Clemson University (1994)","DOI":"10.1145\/190347.190358"},{"key":"19_CR13","unstructured":"Koutsofios, E., North, C.: Dot user\u2019s guide. Technical report, AT+T Bell Labs, Murray Hill, NJ (1998)"},{"key":"19_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations: The logic of mathematical discovery","author":"I. Lakatos","year":"1976","unstructured":"Lakatos, I.: Proofs and Refutations: The logic of mathematical discovery. Cambridge University Press, Cambridge (1976)"},{"key":"19_CR15","volume-title":"Knowledge-Based Systems in Artificial Intelligence","author":"D. Lenat","year":"1982","unstructured":"Lenat, D.: AM: Discovery in mathematics as heuristic search. In: Knowledge-Based Systems in Artificial Intelligence, McGraw-Hill, New York (1982)"},{"key":"19_CR16","unstructured":"McCune, W.: The OTTER user\u2019s guide. Technical Report ANL\/90\/9, Argonne National Laboratories (1990)"},{"key":"19_CR17","unstructured":"McCune, W.: A Davis-Putnam program and its application to finite first-order model search. Technical Report MCS-TM-194, Argonne National Labs (1994)"},{"key":"19_CR18","unstructured":"Pease, A., Colton, S.: Modelling Lakatos\u2019s philosophy of mathematics. In: Proceedings of the Second European Conference on Computing and Philosophy (2004)"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Pistori, H., Wainer, J.: Automatic theory formation in graph theory. In: Argentine Symposium on Artificial Intelligence, pp. 131\u2013140 (1999)","DOI":"10.1590\/S0104-65001999000300003"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Ritchie, G., Hanna, F.: AM: A case study in methodology. Artificial Intelligence\u00a023 (1984)","DOI":"10.1016\/0004-3702(84)90015-8"},{"key":"19_CR21","unstructured":"Sims, M.: IL: An Artificial Intelligence approach to theory formation in mathematics. PhD thesis, Rutgers University (1990)"},{"issue":"2","key":"19_CR22","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1023\/A:1005806324129","volume":"21","author":"G. Sutcliffe","year":"1998","unstructured":"Sutcliffe, G., Suttner, C.: The TPTP problem library: CNF release v1.2.1. Journal of Automated Reasoning\u00a021(2), 177\u2013203 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR23","unstructured":"Torres, P., Colton, S.: Applying model generation to concept formation. In: Proceedings of the Automated Reasoning Workshop (2006)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11812289_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:05Z","timestamp":1605644045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11812289_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371045","9783540371069"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11812289_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}