{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:05Z","timestamp":1725488885170},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422518"},{"type":"electronic","value":"9783540457381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45738-0_1","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T11:40:39Z","timestamp":1186746039000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Deductions with Meaning"],"prefix":"10.1007","author":[{"given":"Christof","family":"Monz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten","family":"de Rijke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,18]]},"reference":[{"key":"1_CR1","unstructured":"Abney, S. Tagging and partial parsing. In Corpus-Based Methods in Language and Speech. Kluwer Academic Publishers, 1996."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K. R., J. Brunekreef, V. Partington, and A. Schaerf. Alma-0: An imperative language that supports declarative programming. ACM Toplas, 1998. In press.","DOI":"10.1145\/293677.293679"},{"volume-title":"The Core Language Engine","year":"1992","key":"1_CR3","unstructured":"Alshawi, H., editor. The Core Language Engine. MIT Press, Cambridge, Massachusetts, 1992."},{"key":"1_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-58792-6_25","volume-title":"Proc. of Meta\u2019 94","author":"G. Attardi","year":"1994","unstructured":"Attardi, G., and M. Simi. Building proofs in context. In Proc. of Meta\u2019 94, LNCS 883, pages 410\u2013424. Springer, 1994."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Attardi, G., and M. Simi. Proofs in context. In Doyle, J. and P. Torasso, editors, Principles of Knowledge Representation and Reasoning: Proc. of the Fourth International Conference. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50099-3"},{"key":"1_CR6","unstructured":"Benthem, J. van, and A. ter Meulen, editors. Handbook of Logic and Language. North-Holland, 1997."},{"key":"1_CR7","unstructured":"Blackburn, P., and J. Bos. Representation and Inference for Natural Language. Available from http:\/\/www.coli.uni-sb.de\/\u223cbos\/comsem\/ , 1998."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Booch, G. Object-Oriented Design. Benjamin\/Cummings, 1991.","DOI":"10.1145\/149576.149582"},{"key":"1_CR9","unstructured":"Bos, J. Predicate logic unplugged. In Dekker, P., and M. Stokhof, editors, Proceedings of the 10th Amsterdam Colloquium, pages 133\u2013142. ILLC, University of Amsterdam, 1996."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Baader, F., and K. Schulz, editors. Frontiers of Combining Systems, Applied Logic Series. Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-94-009-0349-4"},{"key":"1_CR11","unstructured":"Crouch, D., C. Fox, J. van Genabith, and S. Glasbey, editors. The FraCaS Book. Unpublished manuscript, 1998."},{"key":"1_CR12","unstructured":"Deemter, K. van. Towards a logic of ambiguous expressions. In van Deemter and Peters[13]."},{"key":"1_CR13","unstructured":"Deemter, K. van, and S. Peters, editors. Semantic Ambiguity and Underspecification. CSLI Publications, 1996."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"D\u00f6rre, J. Efficient construction of underspecified semantics under massive ambiguity. In Proc. of the 35th Annual Meeting of the ACL, 1997.","DOI":"10.3115\/976909.979667"},{"key":"1_CR15","volume-title":"Axiomatizing dynamic logics for anaphora","author":"J. Eijck van","year":"1998","unstructured":"Eijck, J. van. Axiomatizing dynamic logics for anaphora, 1998. CWI, Amsterdam."},{"key":"1_CR16","volume-title":"Programming with dynamic logic","author":"J. Eijck van","year":"1998","unstructured":"Eijck, J. van. Programming with dynamic logic. Manuscript, CWI, Amsterdam, 1998."},{"key":"1_CR17","series-title":"Technical Report CS-R9616","volume-title":"Ambiguity and reasoning","author":"J. Eijck van","year":"1996","unstructured":"Eijck, J. van, and J. Jaspars. Ambiguity and reasoning. Technical Report CS-R9616, CWI, Amsterdam, 1996."},{"issue":"4","key":"1_CR18","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/BF00974106","volume":"3","author":"E. Franconi","year":"1993","unstructured":"Franconi, E. A treatment of plurals and plural quantifications based on a theory of collections. Minds and Machines, 3(4):453\u2013474, 1993.","journal-title":"Minds and Machines"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J., and M. Stokhof. Dynamic Predicate Logic. Linguistics and Philosophy, 14:39\u2013100, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"1_CR20","unstructured":"Jaspars, J. Minimal logics for reasoning with ambiguous expressions. CLAUS-report 94, Universit\u00e4t des Saarlandes, 1997."},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00159343","volume":"5","author":"H. Kamp","year":"1996","unstructured":"Kamp, H., and U. Reyle. A calculus for first order Discourse Representation Structures. Journal of Logic, Language and Information, 5:297\u2013348, 1996.","journal-title":"Journal of Logic, Language and Information"},{"key":"1_CR22","unstructured":"K\u00fcssner, U. Description logic unplugged. In Franconi, E., et al., itors, Proceedings of the 1998 International Description Logics Workshop (DL\u201998), 1998."},{"key":"1_CR23","volume-title":"Automated Theorem Proving: A Logical Bases","author":"D. W. Loveland","year":"1978","unstructured":"Loveland, D. W. Automated Theorem Proving: A Logical Bases. North-Holland, Amsterdam, 1978."},{"issue":"1","key":"1_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90063-4","volume":"56","author":"D. A. McAllester","year":"1992","unstructured":"McAllester, D. A., and R. Givan. Natural language syntax and first-order inference. Artificial Intelligence, 56(1):1\u201320, 1992.","journal-title":"Artificial Intelligence"},{"key":"1_CR25","unstructured":"McCarthy, J., and S. Buva\u010d. Formalizing context (expanded notes). In Aliseda, A., R. van Glabbeek, and D. Westerst\u00e5hl, editors, Computing Natural Language, pages 13\u201350. Stanford University, 1997."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Montague, R. The proper treatment of quantification in ordinary english. In Hintikka, J., J. Moravcsik, and P. Suppes, editors, Approaches to Natural Language. Proceedings of the 1970 Stanford Workshop on Grammar and Semantics. Reidel, Dordrecht, 1973.","DOI":"10.1007\/978-94-010-2506-5_10"},{"key":"1_CR27","volume-title":"Proc. LD\u201998","author":"C. Monz","year":"1998","unstructured":"Monz, C., and M. de Rijke. Labeled resolution for discourse semantics. In Proc. LD\u201998. Dept. of Computer Science, Univ. of Freiburg, 1998."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Monz, C., and M. de Rijke. A resolution calculus for dynamic semantics. In Dix, J., et al., editors, Proc. JELIA\u201998, LNAI 1489, pages 184\u2013198. Springer, 1998.","DOI":"10.1007\/3-540-49545-2_13"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Monz, C., and M. de Rijke. A tableaux calculus for ambiguous quantification. In Swart, H. de, editor, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX\u201998, LNAI 1397, pages 232\u2013246. Springer, 1998.","DOI":"10.1007\/3-540-69778-0_25"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Monz, C., and M. de Rijke. A tableau calculus for pronoun resolution. In Murray, N. V., editor, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX\u201999, LNAI. Springer, 1999.","DOI":"10.1007\/3-540-48754-9_22"},{"key":"1_CR31","unstructured":"Monz, C. Computing presuppositions by contextual reasoning. In Proceedings of the AAAI-99 Workshop on Reasoning in Context for AI Applications, 1999."},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Monz, C. Contextual inference in computational semantics. Submitted for publication, 1999.","DOI":"10.1007\/3-540-48315-2_19"},{"key":"1_CR33","unstructured":"Monz, C. Underspecified theorem proving with different kinds of ambiguity. Institute for Computational Linguistics, University of Stuttgart, 1999."},{"key":"1_CR34","unstructured":"Patel-Schneider, P. DLP system description. In Franconi, E., et al., editor, Proceedings of the 1998 International Description Logics Workshop (DL\u201998), pages 87\u201389, 1998."},{"issue":"2","key":"1_CR35","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1093\/jos\/10.2.123","volume":"10","author":"U. Reyle","year":"1993","unstructured":"Reyle, U. Dealing with ambiguities by underspecification: Construction, representation, and deduction. Journal of Semantics, 10(2):123\u2013179, 1993.","journal-title":"Journal of Semantics"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Reyle, U. On reasoning with ambiguities. In Proceedings of the 6th Meeting of the EACL, pages 1\u20138, Dublin, 1995.","DOI":"10.3115\/976973.976975"},{"issue":"4","key":"1_CR37","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00985573","volume":"17","author":"U. Reyle","year":"1994","unstructured":"Reyle, U., and D. Gabbay. Direct deductive computation on Discourse Representation Structures. Linguistics and Philosophy, 17(4):343\u2013390, 1994.","journal-title":"Linguistics and Philosophy"},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1093\/comjnl\/29.6.481","volume":"29","author":"K. Rijsbergen van","year":"1986","unstructured":"Rijsbergen, K. van. A non-classical logic for information retrieval. The Computer Journal, 29:481\u2013485, 1986.","journal-title":"The Computer Journal"},{"issue":"1","key":"1_CR39","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A. A machine oriented logic based on the resolution principle. Journal of the ACM, 12(1):23\u201341, 1965.","journal-title":"Journal of the ACM"},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/BF01049304","volume":"22","author":"W. Saurer","year":"1990","unstructured":"Saurer, W. A natural deduction system for Discourse Representation Theory. Journal of Philosophical Logic, 22:249\u2013302, 1990.","journal-title":"Journal of Philosophical Logic"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Schiehlen, M. Semantic construction from parse forests. In Proc. COLING\u201996, 1996.","DOI":"10.3115\/993268.993325"},{"key":"1_CR42","first-page":"379","volume":"31","author":"C. Sedogbo","year":"1986","unstructured":"Sedogbo, C., and M. Eytan. A tableau calculus for DRT. Logique et Analyse, 31:379\u2013402, 1986.","journal-title":"Logique et Analyse"},{"key":"1_CR43","volume-title":"Dynamic predicate logic","author":"F. Veltman","year":"1997","unstructured":"Veltman, F. Dynamic predicate logic, 1997. ILLC, Amsterdam."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45738-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T18:21:20Z","timestamp":1556734880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45738-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422518","9783540457381"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/3-540-45738-0_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}