{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:56Z","timestamp":1725488096689},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_13","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"184-198","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Resolution Calculus for Dynamic Semantics"],"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":[[1999,2,26]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"B. Grosz, A. Joshi, and S. Weinstein. Centering: A framework for modelling the local coherence of discourse. Computational Linguistics, 21(2), 1995.","DOI":"10.21236\/ADA324949"},{"key":"13_CR2","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":"13_CR3","volume-title":"Formal Methods in the Study of Language","author":"H. Kamp","year":"1981","unstructured":"H. Kamp. A theory of truth and semantic representation. In J. Groenendijk et al., editor, Formal Methods in the Study of Language. Mathematical Centre, Amsterdam, 1981."},{"key":"13_CR4","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":"13_CR5","doi-asserted-by":"crossref","unstructured":"M. Kohlhase. Higher-order tableaux. In P. Baumgartner et al., editor, Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX\u201995, LNAI, pages 294\u2013309. Springer, 1995.","DOI":"10.1007\/3-540-59338-1_43"},{"key":"13_CR6","volume-title":"Automated Theorem Proving: A Logical Bases","author":"D. W. Loveland","year":"1978","unstructured":"D. W. Loveland. Automated Theorem Proving: A Logical Bases. North-Holland, Amsterdam, 1978."},{"key":"13_CR7","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, LNAI 1397, pages 232\u2013246. Springer, 1998.","DOI":"10.1007\/3-540-69778-0_25"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4:258\u2013282, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR9","unstructured":"C. Monz. Dynamic semantics and underspecification. In H. Prade, editor, Proceedings of the 13\n                           th\n                           European Conference on Artificial Intelligence. (ECAI\u201998), pages 201\u2013202. John Wiley & Sons, 1998."},{"issue":"2","key":"13_CR10","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1093\/jos\/10.2.123","volume":"10","author":"U. Reyle","year":"1993","unstructured":"U. Reyle. Dealing with ambiguities by underspecification: Construction, representation, and deduction. Journal of Semantics, 10(2):123\u2013179, 1993.","journal-title":"Journal of Semantics"},{"key":"13_CR11","unstructured":"S.J. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 1995."},{"issue":"1","key":"13_CR12","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson. 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":"13_CR13","unstructured":"J. van Eijck. A calculus for dynamic predicate logic. Unpublished manuscript, 1998."},{"key":"13_CR14","series-title":"Technical Report","volume-title":"Ambiguity and reasoning","author":"J. Eijck van","year":"1996","unstructured":"J. van Eijck and J. Jaspars. Ambiguity and reasoning. Technical Report CS-R9616, Centrum voor Wiskunde en Informatica, Amsterdam, 1996."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:01:14Z","timestamp":1558274474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"26 February 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}