{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:53:52Z","timestamp":1725537232832},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046162"},{"type":"electronic","value":"9783642046179"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04617-9_37","type":"book-chapter","created":{"date-parts":[[2009,9,15]],"date-time":"2009-09-15T10:55:02Z","timestamp":1253012102000},"page":"289-297","source":"Crossref","is-referenced-by-count":1,"title":["Presenting Proofs with Adapted Granularity"],"prefix":"10.1007","author":[{"given":"Marvin","family":"Schiller","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Benzm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","volume-title":"Introduction to Real Analysis","author":"R.G. Bartle","year":"1982","unstructured":"Bartle, R.G., Sherbert, D.: Introduction to Real Analysis, 2nd edn. Wiley, Chichester (1982)","edition":"2"},{"key":"37_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-70934-3_1","volume-title":"Cognitive Systems","author":"C. Benzm\u00fcller","year":"2007","unstructured":"Benzm\u00fcller, C., Horacek, H., Kruijff-Korbayov\u00e1, I., Pinkal, M., Siekmann, J.H., Wolska, M.: Natural language dialog with a tutor system for mathematical proofs. In: Lu, R., Siekmann, J.H., Ullrich, C. (eds.) Cognitive Systems: Joint Chinese-German Workshop. LNCS (LNAI), vol.\u00a04429, pp. 1\u201314. Springer, Heidelberg (2007)"},{"key":"37_CR3","unstructured":"Benzm\u00fcller, C., Horacek, H., Lesourd, H., Kruijff-Korbayov\u00e1, I., Schiller, M., Wolska, M.: A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. In: Proc. Intl. Conference on Language Resources and Evaluation (LREC 2006), Genoa, Italy, ELDA (2006)"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"Autexier, S., Benzm\u00fcller, C., Dietrich, D., Meier, A., Wirth, C.P.: A generic modular data structure for proof attempts alternating on ideas and granularity. In: [14], pp. 126\u2013142","DOI":"10.1007\/11618027_9"},{"key":"37_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/3-540-45744-5_33","volume-title":"Automated Reasoning","author":"A. Fiedler","year":"2001","unstructured":"Fiedler, A.: P.rex: An interactive proof explainer. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 416\u2013420. Springer, Heidelberg (2001)"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Denney, E., Power, J., Tourlas, K.: Hiproofs: A hierarchical notion of proof tree. In: Proc. of the 21st Annual Conf. on Mathematical Foundations of Progamming Semantics (MFPS XXI). ENTCS, vol.\u00a0155, pp. 341\u2013359. Elsevier, Amsterdam (2006)","DOI":"10.1016\/j.entcs.2005.11.063"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Autexier, S., Fiedler, A.: Textbook proofs meet formal logic - the problem of underspecification and granularity. In: [14], pp. 96\u2013110","DOI":"10.1007\/11618027_7"},{"key":"37_CR8","volume-title":"C4.5: Programs for Machine Learning","author":"J.R. Quinlan","year":"1993","unstructured":"Quinlan, J.R.: C4.5: Programs for Machine Learning. Morgan Kaufmann, San Francisco (1993)"},{"key":"37_CR9","unstructured":"Schiller, M., Benzm\u00fcller, C.: Granularity-adaptive proof presentation. Technical report, SEKI Working-Paper (2009), \n                    \n                      http:\/\/arxiv.org\/pdf\/0903.0314v4"},{"key":"37_CR10","first-page":"144","volume-title":"Proc. 15th Intl. Conf. on Machine Learning","author":"E. Frank","year":"1998","unstructured":"Frank, E., Witten, I.H.: Generating accurate rule sets without global optimization. In: Proc. 15th Intl. Conf. on Machine Learning, pp. 144\u2013151. Morgan Kaufmann, San Francisco (1998)"},{"key":"37_CR11","first-page":"185","volume-title":"Advances in Kernel Methods - Support Vector Learning","author":"J.C. Platt","year":"1998","unstructured":"Platt, J.C.: Fast training of support vector machines using sequential minimal optimization. In: Schoelkopf, B., Burges, C., Smola, A. (eds.) Advances in Kernel Methods - Support Vector Learning, pp. 185\u2013208. MIT Press, Cambridge (1998)"},{"key":"37_CR12","first-page":"432","volume-title":"Proc. of the 9th Int. Joint Conf. on Artificial Intelligence (IJCAI)","author":"J.R. Hobbs","year":"1985","unstructured":"Hobbs, J.R.: Granularity. In: Joshi, A.K. (ed.) Proc. of the 9th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 432\u2013435. Morgan Kaufmann, San Francisco (1985)"},{"key":"37_CR13","first-page":"363","volume-title":"Computers & Mathematics with Applications","author":"G. McCalla","year":"1992","unstructured":"McCalla, G., Greer, J., Barrie, B., Pospisil, P.: Granularity hierarchies. In: Computers & Mathematics with Applications, vol.\u00a023(2-5), pp. 363\u2013375. Elsevier, Amsterdam (1992)"},{"key":"37_CR14","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Mathematical Knowledge Management","year":"2006","unstructured":"Kohlhase, M. (ed.): MKM 2005. LNCS (LNAI), vol.\u00a03863. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","KI 2009: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04617-9_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T23:50:37Z","timestamp":1552175437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04617-9_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046162","9783642046179"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04617-9_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}