{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T10:09:52Z","timestamp":1759226992067},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540582168"},{"type":"electronic","value":"9783540485735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58216-9_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:34:47Z","timestamp":1330270487000},"page":"189-199","source":"Crossref","is-referenced-by-count":0,"title":["A logic programming framework for the abductive inference of intentions in cooperative dialogues"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Quaresma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Gabriel","family":"Lopes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0004-3702(80)90042-9","volume":"15","author":"J. F. Allen","year":"1980","unstructured":"J. F. Allen and C. R. Perrault. Analyzing intention in utterances. Artificial Intelligence, (15):143\u2013178, 1980.","journal-title":"Artificial Intelligence"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Douglas E. Appelt and Martha E. Pollack. Weighted abduction for plan ascription. User Modeling and User-Adapted Interaction, 2(1), 1992.","DOI":"10.1007\/BF01101857"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3), 1990.","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"14_CR4","unstructured":"Kave Eshghi. Abductive planning with event calculus. In ICLP, 1988."},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"R. E. Fikes and Nils J. Nilsson. Strips: A new approach to the application of theorem proving to problem solving. Artificial Intellligence, (2):189\u2013208, 1971.","journal-title":"Artificial Intellligence"},{"key":"14_CR6","unstructured":"M. Gelfond and V. Lifshitz. Representing actions in extended logic programs. In Proceedings IJCSLP 92, 1992."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"J. Hobbs, M. Stickel, P. Martin, and D. Edwards. Interpretation as abduction. In Proceedings of the 26th Annual Meeting of ACL, 1988.","DOI":"10.3115\/982023.982035"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1207\/s15516709cog1102_4","volume":"11","author":"D. Litman","year":"1987","unstructured":"D. Litman and J. Allen. A plan recognition model for subdialogues in conversations. Cognitive Science, (11):163\u2013200, 1987.","journal-title":"Cognitive Science"},{"key":"14_CR9","unstructured":"Diane J. Litman. Plan Recognition and Discourse Analysis: An Integrated Approach for Understanding Dialogues. PhD thesis, Dep. of Computer Science, University of Rochester, 1985."},{"key":"14_CR10","unstructured":"J. G. Lopes. Architecture for intentional participation of natural language interfaces in conversations. In C. Brown and G. Koch, editors, Natural Language Understanding and Logic Programming III. North Holland, 1991."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Susan McRoy and Graeme Hirst. Abductive explanation of dialogue misunderstandings. In EACL'93, 1993.","DOI":"10.3115\/976744.976777"},{"key":"14_CR12","unstructured":"Lode Missiaen. Localized Abductive Planning with the Event Calculus. PhD thesis, Univ. Leuven, 1991."},{"key":"14_CR13","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. Contradiction removal semantics with explicit negation. In Proc. Applied Logic Conf., 1992."},{"key":"14_CR14","unstructured":"Martha E. Pollack. Inferring Domain Plans in Question-Answering. PhD thesis, Dep. of Computer and Information Science, University of Pennsylvania, 1986."},{"key":"14_CR15","unstructured":"P. Quaresma and J. G. Lopes. A two-headed architecture for intelligent multimedia man-machine interaction. In B. de Boulay and V. Sgurev (eds). Artificial Intelligence V \u2014 methodology, systems, applications. North Holland, 1992."},{"key":"14_CR16","unstructured":"Earl D. Sacerdoti. A Structure for Plans and Behavior. American Elsevier, New York, 1977."},{"issue":"97","key":"14_CR17","doi-asserted-by":"crossref","first-page":"1295","DOI":"10.1086\/229903","volume":"5","author":"E. Schegloff","year":"1992","unstructured":"Emanuel Schegloff. Repair after next turn: The last structurally provided defense of intersubjectivity in conversation. American Journal of Sociology, 5(97):1295:1345, 1992.","journal-title":"American Journal of Sociology"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58216-9_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:40Z","timestamp":1605647920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58216-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582168","9783540485735"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58216-9_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}