{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:46Z","timestamp":1725558586198},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540200598"},{"type":"electronic","value":"9783540394518"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39451-8_18","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:09:17Z","timestamp":1277698157000},"page":"239-253","source":"Crossref","is-referenced-by-count":1,"title":["Presenting Sets of Problem Solutions Concisely"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Horacek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Busemann, S.: Best-First Generation. In: Proc. of the 8th International Workshop on Natural Language Generation, Hearstmonceaux, UK, pp. 101\u2013110 (1996)","key":"18_CR1"},{"unstructured":"Colton, S., Bundy, A., Walsh, T.: Automatic Concept Formation in Pure Mathematics. In: Proc. of IJCAI 1999, Stockholm, pp. 786\u2013793 (1999)","key":"18_CR2"},{"doi-asserted-by":"crossref","unstructured":"Coscoy, Y., Kahn, G., Th\u00e9ry, L.: Extracting Text from Proof. Typed Lambda Calculus and its Application (1995)","key":"18_CR3","DOI":"10.1007\/BFb0014048"},{"unstructured":"Dahn, I.: Using ILF as a User Interface for Many Theorem Provers. In: Proc. of User Interfaces for Theorem Provers, Eindhoven (1998)","key":"18_CR4"},{"doi-asserted-by":"crossref","unstructured":"Dalianis, H.: Aggregation in Natural Language Generation. Computational Intelligence\u00a015(4) (1999)","key":"18_CR5","DOI":"10.1111\/0824-7935.00099"},{"unstructured":"Freihat, H.: Realisierung aggregierter Ausdr\u00fccke in mehreren Sprachen und mit Formeln. Master thesis, University of the Saarland (forthcoming)","key":"18_CR6"},{"issue":"3-4","key":"18_CR7","first-page":"167","volume":"10","author":"F. Giunchiglia","year":"1997","unstructured":"Giunchiglia, F., Villafiorita, A., Walsh, T.: Theories of Abstrction. AI Communications\u00a010(3-4), 167\u2013176 (1997)","journal-title":"AI Communications"},{"unstructured":"Horacek, H., Konrad, K.: Presenting Herbrand Models with Linguistically Motivated Techniques. In: Proc. of CIMCA 1999, Vienna (1999)","key":"18_CR8"},{"unstructured":"Huang, X., Fiedler, A.: Proof Verbalization as an Application of NLG. In: 15th International Conference on Artificial Intelligence, Nagoya, Japan, pp. 965\u2013970 (1997)","key":"18_CR9"},{"doi-asserted-by":"crossref","unstructured":"Konrad, K., Wolfram, D.: System Description: Kimba, A Model Generator for Many-Valued First-Order Logics. In: 16th Proc. of CADE, Trento, Italy, pp. 282\u2013286 (1999)","key":"18_CR10","DOI":"10.1007\/3-540-48660-7_24"},{"doi-asserted-by":"crossref","unstructured":"Mann, B., Moore, J.: Computer as Author \u2013 Results and Prospects. Research Report ISI\/RR-79-82, Univ. of Southern California, Information Sciences Institute (1980)","key":"18_CR11","DOI":"10.21236\/ADA081888"},{"issue":"2","key":"18_CR12","first-page":"17","volume":"8","author":"B. Mann","year":"1981","unstructured":"Mann, B., Moore, J.: Computer Generation of Multiparagraph English Text. American Journal of Computational Linguistics\u00a08(2), 17\u201329 (1981)","journal-title":"American Journal of Computational Linguistics"},{"issue":"4","key":"18_CR13","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1006\/jsco.2002.0550","volume":"34","author":"A. Meier","year":"2002","unstructured":"Meier, A., Pollet, M., Sorge, V.: Comparing Approaches to Explore the Domain of Residue Classes. Journal of Symbolic Computation\u00a034(4), 287\u2013306 (2002)","journal-title":"Journal of Symbolic Computation"},{"unstructured":"Reape, M., Mellish, C.: What is Aggregation Anyhow? In: Proc. of 7th European Workshop on Natural Language Generation, Toulouse, France (1999)","key":"18_CR14"},{"doi-asserted-by":"crossref","unstructured":"Shaw, J.: Segregatory Coordination and Ellipsis in Text Generation. In: Proc. of the 36th ACL and the 17th COLING, pp. 1220\u20131226 (1998)","key":"18_CR15","DOI":"10.3115\/980432.980768"},{"unstructured":"Shaw, J.: Clause Aggregation Using Linguistic Knowledge. In: Proc. of the 9th International Workshop on Natural Language Generation, pp. 138\u2013147 (1998)","key":"18_CR16"},{"doi-asserted-by":"crossref","unstructured":"Siekmann, J., Benzm\u00fcller, C., Brezhnev, V., Cheikhrouhou, L., Fiedler, A., Franke, A., Horacek, H., Kohlhase, M., Meier, A., Melis, E., Moschner, M., Normann, I., Pollet, M., Sorge, V., Ullrich, C., Wirth, C.-P., Zimmer, J.: Proof Development with 0MEGA. In: Proc. of the 18th CADE-02, Kopenhagen, pp. 144\u2013149 (2002)","key":"18_CR17","DOI":"10.1007\/3-540-45620-1_12"},{"issue":"1","key":"18_CR18","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF00246025","volume":"2","author":"M. Stickel","year":"1986","unstructured":"Stickel, M.: Schubert\u2019s Steamroller Problem: Formalisation and Solutions. Journal of Automated Reasoning\u00a02(1), 89\u2013101 (1986)","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","KI 2003: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39451-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:18:23Z","timestamp":1558293503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39451-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540200598","9783540394518"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39451-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}