{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:45Z","timestamp":1725487665737},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660866"},{"type":"electronic","value":"9783540487548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48754-9_22","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:20:56Z","timestamp":1184602856000},"page":"247-262","source":"Crossref","is-referenced-by-count":2,"title":["A Tableau Calculus for Pronoun Resolution"],"prefix":"10.1007","author":[{"given":"Christof","family":"Monz","sequence":"first","affiliation":[]},{"given":"Maarten","family":"de Rijke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"22_CR1","unstructured":"J.F. Allen. Natural Language Understanding. Benjamin Cummings, second edition, 1994."},{"volume-title":"The Core Language Engine","year":"1992","key":"22_CR2","unstructured":"H. Alshawi, editor. The Core Language Engine. MIT Press, Cambridge, Massachusetts, 1992."},{"issue":"3","key":"22_CR3","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF00881804","volume":"15","author":"B. Beckert","year":"1995","unstructured":"B. Beckert and J. Posegga. Lean, tableau-based deduction. Journal of Automated Reasoning, 15(3):339\u2013358, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"22_CR4","unstructured":"J. van Benthem. Exploring Logical Dynamics. Studies in Logic, Language and Information. CSLI Publications, 1996."},{"issue":"1","key":"22_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/jigpal\/1.1.99","volume":"1","author":"M. C. Meyer","year":"1993","unstructured":"M. Cialdea Meyer and F. Pirri. First order abduction via tableau and sequent calculi. Bulletin of the IGPL, 1(1):99\u2013117, 1993.","journal-title":"Bulletin of the IGPL"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"K. van Deemter. Ambiguity and the principle of idiosyncratic interpretation. Submitted for publication, 1998.","DOI":"10.1093\/jos\/15.1.5"},{"key":"22_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1996","unstructured":"M. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag New York, 2nd edition, 1996.","edition":"2nd edition"},{"key":"22_CR8","unstructured":"H.P. Grice. Studies in the Way of Words. Harvard Univ Press, 1989."},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"J. Groenendijk and M. Stokhof. Dynamic Predicate Logic. Linguistics and Philosophy, 14:39\u2013100, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"22_CR10","unstructured":"M. Kohlhase and K. Konrad. Higher-order automated theorem proving for natural language semantics. SEKI-Report SR-98-04, Universit\u00e4t des Saarlandes, 1998."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"H. Kamp and U. Reyle. From Discourse to Logic. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-94-011-2066-1"},{"key":"22_CR12","unstructured":"C. Monz and M. de Rijke. Inference and natural language semantics. In Proceedings of Logical Aspects in Computational Linguistics (LACL\u201998), 1998."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"C. Monz and M. de Rijke. A resolution calculus for dynamic semantics. In J. Dix, L. Fari\u00f1as del Cerro, and U. Fuhrbach, editors, Logics in Artificial Intelligence (JELIA\u201998), Lecture Notes in Artificial Intelligence 1489, pages 184\u2013198. Springer, 1998.","DOI":"10.1007\/3-540-49545-2_13"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"C. Monz and M. de Rijke. A tableaux calculus for ambiguous quantification. In H. de Swart, editor, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX\u201998, Lecture Notes in Artificial Intelligence 1397, pages 232\u2013246. Springer, 1998.","DOI":"10.1007\/3-540-69778-0_25"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"J. Posegga and P.H. Schmitt. Implementing semantic tableaux. In Handbook of Tableau-Based Methods in Automated Deduction. Kluwer Academic Publishers, to appear.","DOI":"10.1007\/978-94-017-1754-0_10"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48754-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:30:14Z","timestamp":1556681414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48754-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660866","9783540487548"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48754-9_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}