{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:55Z","timestamp":1725489535098},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664321"},{"type":"electronic","value":"9783540483151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48315-2_19","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:51:21Z","timestamp":1187268681000},"page":"242-255","source":"Crossref","is-referenced-by-count":4,"title":["Contextual Inference in Computational Semantics"],"prefix":"10.1007","author":[{"given":"Christof","family":"Monz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,12,6]]},"reference":[{"key":"19_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-58792-6_25","volume-title":"Proceedings of Meta\u2019 94","author":"G. Attardi","year":"1994","unstructured":"G. Attardi and M. Simi. Building proofs in context. In Proceedings of Meta\u2019 94, LNCS 883, pages 410\u2013424. Springer, 1994."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"G. Attardi and M. Simi. Proofs in context. In J. Doyle and P. Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50099-3"},{"key":"19_CR3","unstructured":"P. Blackburn, J. Bos, M. Kohlhase, and H. de Nivelle. Inference and computational semantics. In H. Bunt and E. Thijsse, editors, 3rd International Workshop on Computational Semantics (IWCS-3), pages 5\u201321. Tilburg University, 1999."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"D. Beaver. Presupposition. In van Benthem and ter Meulen [18], pages 939\u20131008.","DOI":"10.1016\/B978-044481714-3\/50022-9"},{"key":"19_CR5","unstructured":"S. Buva\u0109 and I.A. Mason. Propositional logic of context. In R. Fikes and W. Lehnert, editors, Proceedings of the 11th National Conference on Artificial Intelligence, pages 412\u2013419, Menlo Park, CA, 1993. AAAI Press."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"J. Bos. Presupposition and VP-ellipsis. In 15th International Conference on Computational Linguistics (COLING\u2019 94), Kyoto, Japan, 1994.","DOI":"10.3115\/991250.991344"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"M. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag New York, 2nd edition, 1996.","DOI":"10.1007\/978-1-4612-2360-3"},{"issue":"1","key":"19_CR8","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1515\/thli.1974.1.1-3.181","volume":"1","author":"L. Karttunen","year":"1974","unstructured":"L. Karttunen. Presupposition and linguistic context. Theoretical Linguistics, 1(1):181\u2013194, 1974.","journal-title":"Theoretical Linguistics"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"H. Kamp and U. Reyle. From Discourse to Logic. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-94-017-1616-1"},{"issue":"3","key":"19_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00159343","volume":"5","author":"H. Kamp","year":"1996","unstructured":"H. Kamp and U. Reyle. A calculus for first order Discourse Representation Structures. Journal of Logic, Language and Information, 5(3\u20144):297\u2013348, 1996.","journal-title":"Journal of Logic, Language and Information"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF00258436","volume":"8","author":"D. Lewis","year":"1979","unstructured":"D. Lewis. Scorekeeping in a language game. Journal of Philosophical Logic, 8:339\u2013359, 1979.","journal-title":"Journal of Philosophical Logic"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"C. Monz and M. de Rijke. A resolution calculus for dynamic semantics. In J. Dix, L. Fari~nas del Cerro, and U. Fuhrbach, editors, Logics in Artificial Intelligence (JELIA\u201998), LNAI 1489, pages 184\u2013198. Springer, 1998.","DOI":"10.1007\/3-540-49545-2_13"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"C. Monz and M. de Rijke. A tableau calculus for pronoun resolution. In N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX\u201999), LNAI 1617, pages 247\u2013262. Springer, 1999.","DOI":"10.1007\/3-540-48754-9_22"},{"key":"19_CR14","unstructured":"C. Monz. Computing presuppositions by contextual reasoning. In P. Br\u00e9ezillon, R. Turner, J-C. Pomerol, and E. Turner, editors, Proceedings of the AAAI-99 Workshop on Reasoning in Context for AI Applications, 1999."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"P. Piwek and E. Krahmer. Presuppositions in context: Constructing bridges. In P. Br\u00e9zilon and M. Cavalcanti, editors, Formal and Linguistic Aspects of Context. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-94-015-9397-7_6"},{"issue":"1","key":"19_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1008254815298","volume":"7","author":"R. Stalnaker","year":"1998","unstructured":"R. Stalnaker. On the representation of context. Journal of Logic, Language and Information, 7(1):3\u201319, 1998. Special issue on Context in Linguistics and Artificial Intelligence.","journal-title":"Journal of Logic, Language and Information"},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1093\/mind\/LIX.235.320","volume":"59","author":"P. Strawson","year":"1950","unstructured":"P. Strawson. Referring. Mind, 59:320\u2013344, 1950.","journal-title":"Mind"},{"key":"19_CR18","unstructured":"J. van Benthem and A. ter Meulen, editors. Handbook of Logic and Linguistics. Elsevier Science Press, 1997."},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jos\/9.4.333","volume":"9","author":"R. Sandt van der","year":"1992","unstructured":"R. van der Sandt. Presupposition projection as anaphora resolution. Journal of Semantics, 9:333\u2013377, 1992.","journal-title":"Journal of Semantics"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"J. van Eijck and H. Kamp. Representing discourse in context. In van Benthem and ter Meulen [18], pages 179\u2013237.","DOI":"10.1016\/B978-044481714-3\/50006-0"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF00627399","volume":"12","author":"H. Zeevat","year":"1989","unstructured":"H. Zeevat. A compositional approach to Discourse Representation Theory. Linguistics and Philosophy, 12:95\u2013131, 1989.","journal-title":"Linguistics and Philosophy"}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48315-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:41:31Z","timestamp":1556772091000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48315-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664321","9783540483151"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48315-2_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}