{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T22:50:16Z","timestamp":1762296616152,"version":"3.41.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1023\/a:1017916706972","type":"journal-article","created":{"date-parts":[[2002,12,30]],"date-time":"2002-12-30T14:36:44Z","timestamp":1041259004000},"page":"487-509","source":"Crossref","is-referenced-by-count":5,"title":["Towards the Use of Automated Reasoning in Discourse Disambiguation"],"prefix":"10.1007","volume":"10","author":[{"given":"Claire","family":"Gardent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bonnie","family":"Webber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"353837_CR1","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0004-3702(80)90042-9","volume":"15","author":"J. Allen","year":"1982","unstructured":"Allen, J. and Perrault, C.R., 1982, \u201cAnalyzing intention in utterances,\u201d Artificial Intelligence\n15, 143-178. Reprinted as pp. 441-458 in Readings in Natural Language Processing, B. Grosz et al., eds., Los Altos, CA: Morgan Kaufmann Publishers, 1986.","journal-title":"Artificial Intelligence"},{"key":"353837_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624575","volume-title":"Planning English Sentences","author":"D. Appelt","year":"1985","unstructured":"Appelt, D., 1985, Planning English Sentences, Cambridge: Cambridge University Press."},{"key":"353837_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/jos\/15.1.83","volume":"15","author":"N. Asher","year":"1998","unstructured":"Asher, N. and Lascarides, A., 1998, \u201cBridging,\u201d Journal of Semantics\n15, 83-113.","journal-title":"Journal of Semantics"},{"key":"353837_CR4","unstructured":"Baumgartner, P. and Kuhn, M., 1999, \u201cAbducing coreference by model construction,\u201d pp. 21-39 in Proceedings of Inference in Computational Semantics, Amsterdam, C. Monz and M. de Rijke, eds."},{"key":"353837_CR5","unstructured":"Blackburn, P. and Bos, J., 1999, Representation and Inference in Natural Language: A First Course in Computational Semantics, Volume II: Working with Discourse Representations, latest draft available at http:\/\/www.comsem.org Blackburn, P., Bos, J., Kohlhase, M., and de Nivelle, H., 1999, \u201cInference and computational semantics,\u201d pp. 5-21 in Third International Workshop on Computational Semantics (IWCS-3), Tilburg, The Netherlands, H.C. Bunt, I. van der Sluis, E.G.C. Thijsse, eds."},{"key":"353837_CR6","doi-asserted-by":"crossref","unstructured":"Bry, F. and Torge, S., 1996, \u201cMinimal model generation with positive unit hyperresolution tableaux,\u201d pp. 143-159 in Proceedings TABLEAUX'96, P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi, eds.","DOI":"10.1007\/3-540-61208-4_10"},{"key":"353837_CR7","unstructured":"Charniak, E., 1972, \u201cTowards a model of children's story comprehension,\u201d Ph.D. Thesis, Artificial Intelligence Laboratory, Massachusetts Institute of Technology."},{"key":"353837_CR8","first-page":"337","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","author":"E. Charniak","year":"1973","unstructured":"Charniak, E., 1973, \u201cJack and Janet in search of a theory of knowledge,\u201d pp. 337-343 in Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), Los Altos, CA: William Kaufmann."},{"key":"353837_CR9","volume-title":"Proceedings of the Third National Conference on Artificial Intelligence (AAAI-94)","author":"J. Chu-Carroll","year":"1994","unstructured":"Chu-Carroll, J. and Carberry, S., 1994, \u201cA plan-based model for response generation in collaborative task-oriented dialogues,\u201d pp. 59-63 in Proceedings of the Third National Conference on Artificial Intelligence (AAAI-94), Washington, DC: AAAI."},{"key":"353837_CR10","first-page":"10","volume-title":"Elements of Discourse Understanding","author":"H. Clark","year":"1981","unstructured":"Clark, H. and Marshall, C., 1981, \u201cDefinite reference and mutual knowledge,\u201d pp. 10-63 in Elements of Discourse Understanding, A. Joshi, B. Webber, and I. Sag, eds., Cambridge: Cambridge University Press."},{"key":"353837_CR11","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1017\/CBO9780511597855.011","volume-title":"Natural Language Parsing","author":"S. Crain","year":"1985","unstructured":"Crain, S. and Steedman, M., 1985, \u201cOn not being led up the garden path: The use of context by the psychological parser,\u201d pp. 320-358 in Natural Language Parsing, L. Kartunnen, D. Dowty, and A. Zwicky, eds., Cambridge: Cambridge University Press."},{"key":"353837_CR12","unstructured":"Finin, T., 1980, \u201cThe semantic interpretation of compound nominals,\u201d Ph.D. Thesis, Coordinated Science Laboratory, University of Illinois."},{"key":"353837_CR13","unstructured":"Gardent, C. and Konrad, K., 2000a, \u201cInterpreting definites using model generation,\u201d Journal of Language and Computation, to appear."},{"key":"353837_CR14","unstructured":"Gardent, C. and Konrad, K., 2000b, \u201cUnderstanding \u201ceach other\u201d,\u201d Journal of Language and Computation, to appear."},{"key":"353837_CR15","unstructured":"Gardent, C. and Striegnitz, K., 2001, \u201cGenerating indirect anaphora,\u201d pp. 138-155 in Fourth International Workshop on Computational Semantics (IWCS-4), Tilburg, The Netherlands, H. Bunt, I. van der Sluis and E. Thijsse, eds."},{"key":"353837_CR16","first-page":"41","volume-title":"Syntax and Semantics, Vol. 3","author":"H. Grice","year":"1975","unstructured":"Grice, H., 1975, \u201cLogic and conversation,\u201d pp. 41-58 in Syntax and Semantics, Vol. 3, P. Cole and J. Morgan, eds., New York: Academic Press."},{"key":"353837_CR17","series-title":"Springer Lecture Notes Series","first-page":"133","volume-title":"Proceedings of the 5th Portugese Conference on Artificial Intelligence, Evora, Portugal","author":"U. Hahn","year":"1999","unstructured":"Hahn, U. and Markert, K., 1999, \u201cOn the formal distinction between literal and figurative language,\u201d pp. 133-147 in Proceedings of the 5th Portugese Conference on Artificial Intelligence, Evora, Portugal, P. Barahona et al., eds., Springer Lecture Notes Series, Vol. 541, Berlin: Springer-Verlag."},{"key":"353837_CR18","unstructured":"Hewitt, C., 1969, \u201cPlanner: A language for proving theorems in robot,\u201d pp. 295-301 in Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), Washington, DC."},{"key":"353837_CR19","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF00627435","volume":"9","author":"E. Hinrichs","year":"1986","unstructured":"Hinrichs, E., 1986, \u201cTemporal anaphora in discourses of English,\u201d Linguistics & Philosophy\n9, 63-82.","journal-title":"Linguistics & Philosophy"},{"key":"353837_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00244510","volume":"4","author":"J. Hintikka","year":"1988","unstructured":"Hintikka, J., 1988, \u201cModel minimization-An alternative to circumscription,\u201d Journal of Automated Reasoning\n4, 1-13.","journal-title":"Journal of Automated Reasoning"},{"key":"353837_CR21","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0004-3702(93)90015-4","volume":"63","author":"J. Hobbs","year":"1993","unstructured":"Hobbs, J., Stickel, M., Appelt, D., and Martin, P., 1993, \u201cInterpretation as abduction,\u201d Artificial Intelligence\n63, 69-142.","journal-title":"Artificial Intelligence"},{"key":"353837_CR22","volume-title":"Mental Models: Towards a Cognitive Science of Language, Inference and Consciousness","author":"P. Johnson-Laird","year":"1983","unstructured":"Johnson-Laird, P., 1983, Mental Models: Towards a Cognitive Science of Language, Inference and Consciousness, Cambridge: Cambridge University Press."},{"key":"353837_CR23","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/978-3-642-67458-7_24","volume-title":"Semantics from Different Points of View","author":"H. Kamp","year":"1979","unstructured":"Kamp, H., 1979, \u201cEvents, instant and temporal reference,\u201d pp. 376-417 in Semantics from Different Points of View, U.E.R. Bauerel and A. von Stechow, eds., Berlin: Springer-Verlag."},{"key":"353837_CR24","first-page":"1","volume":"25","author":"L. Lambert","year":"1999","unstructured":"Lambert, L. and Carberry, S., 1999, \u201cA process model for recognizing communicative acts and modeling negotiation subdialogues,\u201d Computational Linguistics\n25, 1-53.","journal-title":"Computational Linguistics"},{"key":"353837_CR25","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF00986208","volume":"16","author":"A. Lascarides","year":"1993","unstructured":"Lascarides, A. and Asher, N., 1993, \u201cTemporal interpretation, discourse relations and common sense entailments,\u201d Linguistics & Philosophy\n16, 437-493.","journal-title":"Linguistics & Philosophy"},{"key":"353837_CR26","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1017\/S0022226798007087","volume":"34","author":"A. Lascarides","year":"1998","unstructured":"Lascarides, A. and Copestake, A., 1998, \u201cPragmatics and word meaning,\u201d Journal of Linguistics\n34, 387-414.","journal-title":"Journal of Linguistics"},{"key":"353837_CR27","first-page":"651","volume-title":"Readings in Natural Language Processing","author":"W. Lehnert","year":"1986","unstructured":"Lehnert, W., 1986, \u201cA conceptual theory of question answering,\u201d pp. 651-658 in Readings in Natural Language Processing, B. Grosz, K. Sparck Jones, and B. Webber, eds., Los Altos, CA: Morgan Kaufmann Publishers. First printed as pp. 158-164 in Proceedings of 5th International Joint Conference on Artificial Intelligence, 1977."},{"key":"353837_CR28","volume-title":"The Syntax and Semantics of Complex Nominals","author":"J. Levi","year":"1979","unstructured":"Levi, J., 1979, The Syntax and Semantics of Complex Nominals, New York: Academic Press."},{"key":"353837_CR29","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF00258436","volume":"8","author":"D. Lewis","year":"1979","unstructured":"Lewis, D., 1979, \u201cScorekeeping in a language game,\u201d Journal of Philosophical Logic\n8, 339-359.","journal-title":"Journal of Philosophical Logic"},{"key":"353837_CR30","doi-asserted-by":"crossref","first-page":"365","DOI":"10.7551\/mitpress\/3839.003.0019","volume-title":"Intentions in Communication","author":"D. Litman","year":"1990","unstructured":"Litman, D. and Allen, J., 1990, \u201cDiscourse processing and commonsense plans,\u201d pp. 365-388 in P. Cohen, J. Morgan, and M. Pollack (eds.): Intentions in Communication, Cambridge, MA: MIT Press."},{"key":"353837_CR31","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00881950","volume":"13","author":"S. Lorenz","year":"1994","unstructured":"Lorenz, S., 1994, \u201cA tableau prover for domain minimization,\u201d Journal of Automated Reasoning\n13, 375-390.","journal-title":"Journal of Automated Reasoning"},{"key":"353837_CR32","first-page":"1010","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJLAI)","author":"K. Markert","year":"1997","unstructured":"Markert, K. and Hahn, U., 1997, \u201cOn the interaction of metonymies and anaphora,\u201d pp. 1010-1015 in Proceedings of International Joint Conference on Artificial Intelligence (IJLAI), Nagoya, Japan, San Francisco, CA: Morgan Kaufmann."},{"key":"353837_CR33","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J., 1980, \u201cCircumscription-A form of non-monotonic reasoning,\u201d Artificial Intelligence\n13, 27-39.","journal-title":"Artificial Intelligence"},{"key":"353837_CR34","first-page":"3","volume":"14","author":"M. Moens","year":"1988","unstructured":"Moens, M. and Steedman, M., 1988, \u201cTemporal ontology and temporal reference,\u201d Computational Linguistics\n14, 3-14.","journal-title":"Computational Linguistics"},{"key":"353837_CR35","first-page":"242","volume-title":"Proceedings of the AAAI-99 Workshop on Reasoning in Context for AI Applications","author":"C. Monz","year":"1999","unstructured":"Monz, C., 1999, \u201cContextual inference in computational semantics,\u201d pp. 242-255 in Proceedings of the AAAI-99 Workshop on Reasoning in Context for AI Applications, P. Bouquet, P. Brezillon, L. Serafini, M. Benerecetti, and F. Castellan, eds., Washington, DC: AAAI."},{"key":"353837_CR36","unstructured":"Ramsay, A. and Seville, H., 1999, \u201cModels and discourse models,\u201d pp. 111-125 in Proceedings of Inference in Computational Semantics, Amsterdam, C. Monz and M. de Rijke, eds."},{"key":"353837_CR37","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"1995","unstructured":"Russell, S. and Norvig, P., 1995, Artificial Intelligence: A Modern Approach, Englewood Cliffs, NJ: Prentice Hall."},{"key":"353837_CR38","volume-title":"A Structure for Plans and Behavior","author":"E. Sacerdoti","year":"1977","unstructured":"Sacerdoti, E., 1977, A Structure for Plans and Behavior, Amsterdam: Elsevier\/North-Holland."},{"key":"353837_CR39","series-title":"Springer Lecture Notes Series","first-page":"171","volume-title":"Proceedings TABLEAUX'99","author":"H. Schutz","year":"1999","unstructured":"Schutz, H., 1999, \u201cGenerating minimal Herbrand models step by step,\u201d pp. 171-185 in Proceedings TABLEAUX'99, N. Murray, ed., Springer Lecture Notes Series, Vol. 1617, Berlin: Springer-Verlag"},{"key":"353837_CR40","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1162\/089120100561737","volume":"26","author":"A. Stolcke","year":"2000","unstructured":"Stolcke, A., Ries, K., Coccaro, N., Shriberg, E., Bates, R., Jurafsky, D., Taylor, P., Martin, R., Ess-Dykema, C.V., and Meteer, M., 2000, \u201cDialog act modeling for automatic tagging and recognition of conversational speech,\u201d Computational Linguistics\n26, 339-374.","journal-title":"Computational Linguistics"},{"key":"353837_CR41","unstructured":"Stone, M., 1998, \u201cModality in dialogue: Planning, pragmatics and computation,\u201d Ph.D. Thesis, Department of Computer & Information Science, University of Pennsylvania."},{"key":"353837_CR42","first-page":"231","volume":"1","author":"M. Stone","year":"2000","unstructured":"Stone, M., 2000, \u201cTowards a coinputational account of knowledge, action and inference in instructions,\u201d Journal of Language and Computation\n1, 231-246.","journal-title":"Journal of Language and Computation"},{"key":"353837_CR43","doi-asserted-by":"crossref","first-page":"198","DOI":"10.3115\/976909.979643","volume-title":"Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics (ACL97\/EACL97)","author":"M. Stone","year":"1997","unstructured":"Stone, M. and Doran, C., 1997, \u201cSentence planning as description using tree adjoining grammar,\u201d pp. 198-205 in Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics (ACL97\/EACL97), Madrid, Spain, San Francisco, CA: Morgan Kaufmann"},{"key":"353837_CR44","first-page":"178","volume-title":"Proceedings of the Ninth International Workshop on Natural Language Generation","author":"M. Stone","year":"1998","unstructured":"Stone, M. and Webber, B., 1998, \u201cTextual economy through closely coupled syntax and semantics,\u201d pp. 178-187 in Proceedings of the Ninth International Workshop on Natural Language Generation, Niagara-on-the-Lake, Canada."},{"key":"353837_CR45","unstructured":"Stone, M., Doran, C., Webber, B., Bleam, T., and Palmer, M., 2001, \u201cMicroplanning from communicative intentions: Sentence planning using descriptions (SPUD),\u201d Computational Linguistics, submitted."},{"key":"353837_CR46","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1093\/mind\/LIX.235.320","volume":"59","author":"P. Strawson","year":"1950","unstructured":"Strawson, P., 1950, \u201cOn referring,\u201d Mind\n59, 320-344.","journal-title":"Mind"},{"key":"353837_CR47","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1093\/jos\/9.4.333","volume":"9","author":"R. van der Sandt","year":"1992","unstructured":"van der Sandt, R., 1992, \u201cPresupposition projection as anaphora resolution,\u201d Journal of Semantics\n9, 333-377.","journal-title":"Journal of Semantics"},{"key":"353837_CR48","first-page":"193","volume-title":"Readings in Natural Language Processing","author":"Y. Wilks","year":"1986","unstructured":"Wilks, Y., 1986, \u201cAn intelligent analyzer and understander of English,\u201d pp. 193-204 in Readings in Natural Language Processing, B. Grosz, K. Sparck Jones, and B. Webber, eds., Los Altos, CA: Morgan Kaufmann Publishers. First printed in Communications of the ACM\n18(5), 1975, 264-274."},{"key":"353837_CR49","first-page":"152","volume-title":"Computer Models of Thought and Language","author":"T. Winograd","year":"1973","unstructured":"Winograd, T., 1973, \u201cA procedural model of language understanding,\u201d pp. 152-186 in Computer Models of Thought and Language, R. Schank and K. Colby, eds., New York: W.H. Freeman. Reprinted as pp. 249-266 in Readings in Natural Language Processing, B. Grosz et al., eds., Los Altos, CA: Morgan Kaufmann Publishers, 1986."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017916706972.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1017916706972\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017916706972.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:29:20Z","timestamp":1749724160000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1017916706972"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":49,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["353837"],"URL":"https:\/\/doi.org\/10.1023\/a:1017916706972","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}