{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:35Z","timestamp":1725484595718},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419433"},{"type":"electronic","value":"9783540453994"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45399-7_25","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T02:17:10Z","timestamp":1180491430000},"page":"301-312","source":"Crossref","is-referenced-by-count":0,"title":["Presenting Mathematical Concepts as an Example for Inference-Rich Domains"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Horacek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Benzm\u00fcller, C., Cheikhrouhou, L., Fehrer, D., Fiedler, A., Huang, X., Kerber, M., Kohlhase, M., Konrad, K., Melis, E., Meier, A., Schaarschmidt, W., Siekmann, J., Sorge, V.: \u03a9MEGA: Towards a Mathematical Assistant. In Proc. of the 14th International Conference on Automated Deduction (CADE-97), Townsville, Australia (1997) 252\u2013255","DOI":"10.1007\/3-540-63104-6_23"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Buchberger, B., Jebelean, T., Kriftner, F., Marin, M., Tomuta, E., Vasaru, D.: An Overview of the Theorema Project. In ISSAC\u201997, Hawaii (1997)","DOI":"10.1145\/258726.258853"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Coscoy, Y., Kahn, G., Th\u00e9ry, L. Extracting Text from Proof. In Typed Lambda Calculus and its Application (1995)","DOI":"10.1007\/BFb0014048"},{"key":"25_CR4","unstructured":"Dahn, I.: Using ILF as a User Interface for Many Theorem Provers. In Proc. of User Interfaces for Theorem Provers, Eindhoven 1998"},{"key":"25_CR5","unstructured":"Fehrer, D., Horacek, H.: Exploiting the Addressee\u2019s Inferential Capabilities in Presenting Mathematical Proofs. In Proc. of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan (1997) 959\u2013964"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0020-0255(98)10094-4","volume":"116","author":"D. Fehrer","year":"1999","unstructured":"Fehrer, D., Horacek, H.: Presenting Inequations in Mathematical Proofs. Information Sciences 116 (1999) 3\u201323","journal-title":"Information Sciences"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Green, N., Carberry, S.: A Hybrid Reasoning Model for Indirect Answers. In Proceedings of ACL-94, Las Cruces, New Mexico (1994)","DOI":"10.3115\/981732.981741"},{"key":"25_CR8","first-page":"43","volume":"3","author":"H. Grice","year":"1975","unstructured":"Grice, H.: Logic and Conversation. In Syntax and Semantics: Vol. 3, Speech Acts, Academic Press (1975) 43\u201358","journal-title":"Syntax and Semantics"},{"issue":"2","key":"25_CR9","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1005872405899","volume":"18","author":"T. Hillenbrand","year":"1997","unstructured":"Hillenbrand, T., Buch, A., Vogt, R., L\u00f6chner, B.: Waldmeister: High-Performance Equational Deduction. Journal of Automated Reasoning 18(2) (1997) 265\u2013270","journal-title":"Journal of Automated Reasoning"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Hillenbrand, T., Jaeger, A., L\u00f6chner, B.: System Description: Waldmeister-Improvements in Performance and Ease of Use. In Proc. of the 16th International Conference on Automated Deduction (CADE-99), Trento, Italy (1999) 232\u2013236","DOI":"10.1007\/3-540-48660-7_20"},{"key":"25_CR11","unstructured":"Holland-Minkey, A., Barzilay, R., Constable, R.: Verbalization of High-Level Formal Proofs. In Proc. of AAAI-99 (1999)"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1008297401272","volume":"7","author":"H. Horacek","year":"1997","unstructured":"Horacek, H.: A Model for Adapting Explanations to the User\u2019s Likely Inferences. User Modeling and User Adapted Interaction 7 (1997) 1\u201355","journal-title":"User Modeling and User Adapted Interaction"},{"key":"25_CR13","unstructured":"Horacek, H.: Generating Inference-Rich Discourse Through Revisions of RST-Trees. In Proc. of AAAI-98 (1998) 814\u2013820"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Horacek, H.: Presenting Proofs in a Human-Oriented Way. In Proc. of the 16th International Conference on Automated Deduction (CADE-99), Trento, Italy (1999) 142\u2013156","DOI":"10.1007\/3-540-48660-7_10"},{"key":"25_CR15","unstructured":"Horacek, H.: Generating Deductive Argumentation in Variable Length. In Proc. of the 7th European Workshop on Natural Langauge Generation, Toulouse, France (1999)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Horacek, H.: Tailoring Inference-Rich Descriptions Through Making Compromises Between Conflicting Principles. International Journal on Human Computer Studies, to appear.","DOI":"10.1006\/ijhc.2000.0430"},{"key":"25_CR17","unstructured":"Horacek, H.: Presenting Equation Proofs in a Human-Oriented Style. In Proc. of EMCSR-2000, Vol. 2, Vienna, Austria (2000) 745\u2013750"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Huang, X.: Reconstructing Proofs at the Assertional Level. In Proceedings of the 12th International Conference on Automated Deduction, Springer-Verlag (1994) 738\u2013752","DOI":"10.1007\/3-540-58156-1_53"},{"key":"25_CR19","unstructured":"Huang, X., Fiedler, A.: Proof Presentation as an Application of NLG. In Proc. of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan (1997) 965\u2013971"},{"key":"25_CR20","unstructured":"Johnson-Laird, P., Byrne, R.: Deduction. Ablex Publishing (1990)"},{"key":"25_CR21","unstructured":"L\u00fcneburg, H.: Vorlesungen \u00fcber Analysis. BI Wissenschaftsverlag (1981)"},{"key":"25_CR22","first-page":"1","volume":"11","author":"M. Kohlhase","year":"2000","unstructured":"Kohlhase, M., Franke, A.: MBASE: Representing Knowledge and Context for the Integration of Mathematical Software Systems. Journal Symbolic Computation 11 (2000) 1\u201337","journal-title":"Journal Symbolic Computation"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"McCune, W.: Otter 3.0 Reference Manual and Guide. Technical Report ANL-94\/6, Argonne National Laboratory (1994)","DOI":"10.2172\/10129052"},{"key":"25_CR24","unstructured":"Melis, E., Leron, U.: A Proof Presentation Suitable for Teaching Proofs. In Proc. of 9th International Conference on Artificial Intelligence in Education AI-ED\u201999, Le Mans, France (1999)"},{"issue":"4","key":"25_CR25","first-page":"233","volume":"15","author":"C. Mellish","year":"1989","unstructured":"Mellish, C., Evans., R.: Natural Language Generation from Plans. Computational Linguistics 15(4) (1989) 233\u2013249","journal-title":"Computational Linguistics"},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"Mooney, D., Carberry, S., McCoy, K.: The Generation of High-Level Structure for Extended Explanations. In Proc. of COLING-90, Vol. 2, Helsinki, Finland (1990) 276\u2013281","DOI":"10.3115\/997939.997987"},{"key":"25_CR27","first-page":"76","volume":"2","author":"M. Th\u00fcring","year":"1985","unstructured":"Th\u00fcring, M., Wender, K.: \u00b0ber kausale Inferenzen beim Lesen. Sprache und Kognition 2 (1985) 76\u201386","journal-title":"Sprache und Kognition"},{"key":"25_CR28","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0004-3702(95)00114-X","volume":"85","author":"M. Walker","year":"1996","unstructured":"Walker, M.: The Effects of Resource Limits and Task Complexity on Collaborative Planning in Dialogue. Artificial Intelligence 85 (1996) 181\u2013243","journal-title":"Artificial Intelligence"},{"key":"25_CR29","unstructured":"Zukerman, I., McConachy, R.: Generating Concise Discourse that Addresses a User\u2019s Inferences. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence, Inc. (1993) 1202\u20131207"}],"container-title":["Lecture Notes in Computer Science","Natural Language Processing and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45399-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:29:19Z","timestamp":1556454559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45399-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419433","9783540453994"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-45399-7_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}