{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T07:32:47Z","timestamp":1648625567472},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Kognit. Wiss."],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1007\/s001970050061","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:30:30Z","timestamp":1030260630000},"page":"106-110","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Steuerung der Inferenz in der Diskursverarbeitung"],"prefix":"10.1007","volume":"7","author":[{"given":"Markus","family":"Egg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Gardent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,4,24]]},"reference":[{"key":"3_CR1","first-page":"21","volume-title":"Proceedings of the International Workshop on Computational Semantics","author":"J. Bos","year":"1994","unstructured":"Bos, J., Mastenbroek, E., McGlashan, S., Millies, S. & Pinkal, M. (1994). A compositional DRS-based formalism for NLP-applications. In: Proceedings of the International Workshop on Computational Semantics, Tilburg (pp. 21\u201331)."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00630923","volume":"14","author":"M. Dalrymple","year":"1991","unstructured":"Dalrymple, M., Shieber, S. & Pereira, F. (1991). Ellipsis and higher-order unification. Linguistics & Philosophy, 14, 399\u2013452.","journal-title":"Linguistics & Philosophy"},{"key":"3_CR3","first-page":"109","volume-title":"Proceedings of the 11th Amsterdam Colloquium","author":"M. Egg","year":"1997","unstructured":"Egg, M. & Kohlhase, M. (1997a). Dynamic control of quantifier scope. In: P. Dekker, M. Stokhof & Y. Venema (Eds.), Proceedings of the 11th Amsterdam Colloquium (pp. 109\u2013114)."},{"key":"3_CR4","first-page":"1","volume-title":"Proceedings der 6. Fachtagung der Sektion Computerlinguistik der DGfS","author":"M. Egg","year":"1997","unstructured":"Egg, M. & Kohlhase, M. (1997b). Underspecification of quantifier scope. In: Proceedings der 6. Fachtagung der Sektion Computerlinguistik der DGfS. Heidelberg, pp. 1\u20136."},{"key":"3_CR5","volume-title":"Discourse tree adjoining grammars","author":"C. Gardent","year":"1997","unstructured":"Gardent, C. (1997a). Discourse tree adjoining grammars (CLAUS Report No. 89). Saarbr\u00fccken: Universit\u00e4t des Saarlandes."},{"key":"3_CR6","volume-title":"Parallelism, HOU and deaccenting","author":"C. Gardent","year":"1997","unstructured":"Gardent, C. (1997b). Parallelism, HOU and deaccenting (CLAUS Report No. 85). Universit\u00e4t des Saarlandes."},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BFb0052158","volume-title":"Logical aspects of computational linguistics","author":"C. Gardent","year":"1997","unstructured":"Gardent, C. (1997c). Sloppy identity. In: C. Retor\u00e8 (Ed.), Logical aspects of computational linguistics (pp. 188\u2013207). Springer LNAI."},{"key":"3_CR8","volume-title":"Proceedings of the 16th International Conference on Computational Linguistics","author":"C. Gardent","year":"1996","unstructured":"Gardent, C. & Kohlhase, M. (1996a). Focus and higher.order unification. In: Proceedings of the 16th International Conference on Computational Linguistics. Copenhagen."},{"key":"3_CR9","volume-title":"Proceedings of the 34th annual meeting of the Association for Computational Linguistics","author":"C. Gardent","year":"1996","unstructured":"Gardent, C. & Kohlhase, M. (1996b). Higher-order coloured unification and natural language semantics. In: Proceedings of the 34th annual meeting of the Association for Computational Linguistics. Santa Cruz: ACL."},{"key":"3_CR10","first-page":"1016","volume-title":"Proceedings of the International Joinnt Conference on Artificial Intelligence IJCAI\u201997","author":"C. Gardent","year":"1997","unstructured":"Gardent, C. & Kohlhase, M. (1997). Computing parallelism in discourse. In: Proceedings of the International Joinnt Conference on Artificial Intelligence IJCAI\u201997 (pp. 1016\u20131021). Tokyo."},{"key":"3_CR11","volume-title":"Higher-order coloured unification: a linguistic application","author":"C. Gardent","year":"1997","unstructured":"Gardent, C., Kohlhase, M. & Konrad, K. (1997). Higher-order coloured unification: a linguistic application. (Zur Ver\u00f6ffentlichung eingereicht)"},{"key":"3_CR12","first-page":"268","volume-title":"Proceedings of KONVENS\u201996","author":"C. Gardent","year":"1996","unstructured":"Gardent, C., Kohlhase, M. & Leusen, N. van. (1996). Corrections and Higher-Order Unification. In: Proceedings of KONVENS\u201996 (pp. 268\u2013279). Bielefeld: De Gruyter."},{"key":"3_CR13","first-page":"47","volume":"13","author":"J. Hobbs","year":"1987","unstructured":"Hobbs, J. & Shieber, S. (1987). An algorithm for generating quantifier scoping. Computational Linguistics, 13, 47\u201363.","journal-title":"Computational Linguistics"},{"key":"3_CR14","volume-title":"Journal of Automated Reasoning","author":"D. Hutter","year":"1998","unstructured":"Hutter, D. & Kohlhase, M. (1998) Managing Structural Information by Higher-Order Colored Unification. Journal of Automated Reasoning, Kluwer. Im Druck."},{"key":"3_CR15","first-page":"277","volume-title":"Formal methods in the study of language","author":"H. Kamp","year":"1981","unstructured":"Kamp, H. (1981). A theory of truth and semantic representation. In: J. Groenendijk, T. Janssen & M. Stokhof (Eds.), Formal methods in the study of language (pp. 277\u2013322). Amsterdam: Mathematisch Centrum Tracts."},{"key":"3_CR16","first-page":"431","volume-title":"Automated deduction - a basis for applications","author":"M. Kohlhase","year":"1998","unstructured":"Kohlhase, M. (1998). Higher-order automated theorem proving. In: W. Bibel & P. Schmitt (Eds.), Automated deduction - a basis for applications (Vol. 1), pp. 431\u2013462. Kluwer."},{"key":"3_CR17","volume-title":"Dynamic lambda calculus","author":"M. Kohlhase","year":"1997","unstructured":"Kohlhase, M. & Kuschert, S. (1997). Dynamic lambda calculus. CLAU-Report 91, Universit\u00e4t des Saarlandes."},{"key":"3_CR18","first-page":"479","volume-title":"Proceedings of the 10th Amsterdam Colloquium","author":"M. Kohlhase","year":"1996","unstructured":"Kohlhase, M., Kuschert, S. & Pinkal, M. (1996). A type-theoretic semantics for \u03bb-DRT. In: P. Dekker & M. Stokhof (Eds.), Proceedings of the 10th Amsterdam Colloquium (pp. 479\u2013498). Amsterdam."},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF00986208","volume":"16","author":"A. Lascarides","year":"1993","unstructured":"Lascarides, A. & Asher, N. (1993). Temporal interpretation, discourse relations and common sense entailments. Linguistics & Philosophy, 16, 437\u2013493.","journal-title":"Linguistics & Philosophy"},{"key":"3_CR20","volume-title":"Formal philosophy. Selected papers","author":"R. Montague","year":"1974","unstructured":"Montague, R. (1974). The proper treatment of quantification in ordinary English. In: R. Thomason (Ed.), Formal philosophy. Selected papers. New Haven: Yale University Press."},{"key":"3_CR21","volume-title":"Proceedings of CADE\u201997","author":"J. Niehren","year":"1997","unstructured":"Niehren, J., Pinkal, M. & Ruhrberg, P. (1997a). On equality up-to constraints over finite trees, context unification and one-step rewriting. In: Proceedings of CADE\u201997."},{"key":"3_CR22","first-page":"410","volume-title":"Proceedings of ACL\u201997","author":"J. Niehren","year":"1997","unstructured":"Niehren, J., Pinkal, M. & Ruhrberg, P. (1997b). A uniform approach to underspecification and parallelism. In: Proceedings of ACL\u201997 (pp. 410\u2013417). Madrid."},{"key":"3_CR23","first-page":"587","volume-title":"Proceedings of the 10th Amsterdam Colloquium","author":"M. Pinkal","year":"1996","unstructured":"Pinkal, M. (1996). Radical underspecification. In: P. Dekker & M. Stokhof (Eds.), Proceedings of the 10th Amsterdam Colloquium (pp. 587\u2013606). Amsterdam."},{"key":"3_CR24","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1023\/A:1005394619746","volume":"20","author":"S. Pulman","year":"1997","unstructured":"Pulman, S. (1997). Higher order unification and the interpretation of focus. Linguistics & Philosophy, 20, 73\u2013115.","journal-title":"Linguistics & Philosophy"},{"key":"3_CR25","first-page":"481","volume":"18","author":"K. Vijay-Shankar","year":"1992","unstructured":"Vijay-Shankar, K. (1992). Using descriptions of trees in a tree-adjoining grammar. Computational Linguistics, 18, 481\u2013518.","journal-title":"Computational Linguistics"}],"container-title":["Kognitionswissenschaft"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001970050061.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001970050061\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001970050061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:03:42Z","timestamp":1558623822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s001970050061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["3"],"URL":"https:\/\/doi.org\/10.1007\/s001970050061","relation":{},"ISSN":["0938-7986","1432-1483"],"issn-type":[{"value":"0938-7986","type":"print"},{"value":"1432-1483","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}