{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:49:14Z","timestamp":1725562154114},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210061"},{"type":"electronic","value":"9783540246305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24630-5_6","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:05:06Z","timestamp":1280761506000},"page":"46-55","source":"Crossref","is-referenced-by-count":0,"title":["A Modal Logic Framework for Human-Computer Spoken Interaction"],"prefix":"10.1007","author":[{"given":"Luis","family":"Villase\u00f1or-Pineda","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Montes-y-G\u00f3mez","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Caelen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Austin, J.: How to Do Things with Words. Harvard University Press (1962)"},{"key":"6_CR2","unstructured":"Caelen, J.: Vers une logique dialogique. S\u00e9minaire International de Pragmatique, Jerusalem (1995)"},{"key":"6_CR3","unstructured":"Calvo, H., Gelbukh, A.: Action-request dialogue understanding system. In: Sossa Azuela, J.U., et al. (eds.) Avances en Ciencias de la Computaci\u00f3n e Ingenier\u00eda de C\u00f3mputo. (CIC 2002), XI Congreso Internacional de Computaci\u00f3n, CIC-IPN, Mexico, v. II, pp. 231\u2013242 (2002)"},{"key":"6_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3839.001.0001","volume-title":"Intentions in Communication","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Persistence, Intention and Commitment. In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in Communication. The MIT Press, Cambridge (1990)"},{"key":"6_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3839.001.0001","volume-title":"Intentions in Communication","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Rational interaction as the basis for communication. In: Cohen, P.R., Morgan, J., Pollack, M. (eds.) Intentions in Communication. MIT Press, Cambridge (1990)"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1207\/s15516709cog0303_1","volume":"3","author":"P.R. Cohen","year":"1979","unstructured":"Cohen, P.R., Perrault, C.R.: Elements of a Plan-Based Theory of Speech Acts. Cognitive Science\u00a03(3), 177\u2013212 (1979)","journal-title":"Cognitive Science"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence\u00a054, 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/505282.505285","volume":"34","author":"M. McTear","year":"2002","unstructured":"McTear, M.: Spoken Dialogue Technology: Enabling the Conversational User Interface. ACM Computing Surveys\u00a034(1), 90\u2013169 (2002)","journal-title":"ACM Computing Surveys"},{"key":"6_CR9","unstructured":"Sadek, D.: Logical task modelling for man-machine dialogue. In: AAAI 1990 Proceedings of Eighth National Conference on Artificial Intelligence, vol.\u00a02, pp. 970\u2013975 (1990)"},{"key":"6_CR10","first-page":"305","volume-title":"Advances in Computers","author":"S.L. Oviatt","year":"2002","unstructured":"Oviatt, S.L.: Breaking the Robustness Barrier: Recent Progress on the Design of Robust Multimodal Systems. In: Zelkowitz, M. (ed.) Advances in Computers, vol.\u00a056, pp. 305\u2013341. Academic Press, London (2002)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00173701","volume":"5","author":"H. Prendinger","year":"1996","unstructured":"Prendinger, H., Schurz, G.: Reasoning about Action and Change. A Dynamic Logic Approach. Journal of Logic, Language, and Information\u00a05, 209\u2013245 (1996)","journal-title":"Journal of Logic, Language, and Information"},{"key":"6_CR12","unstructured":"Searle, J.R.: Actes de Langage, Hermann ed., Paris (1972)"},{"volume-title":"The Structure of Multimodal Dialogue II","year":"2000","key":"6_CR13","unstructured":"Taylor, M., N\u00e9el, F., Bouwhuis, D. (eds.): The Structure of Multimodal Dialogue II. John Benjamins Publishing Company, Amsterdam (2000)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Logical Foundations of Computer Science","author":"W. Hoek van der","year":"1994","unstructured":"van der Hoek, W., van Linder, B., Meyer, C.J.-J.: A Logic of Capabilities (extended abstract). In: Nerode, A., Matiyasevich, Y.V. (eds.) LFCS 1994. LNCS, vol.\u00a0813. Springer, Heidelberg (1994)"},{"key":"6_CR15","volume-title":"Proceedings of the sixth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1994","author":"W. Hoek van der","year":"1994","unstructured":"van der Hoek, W., van Linder, B., Meyer, C.J.-J.: Unraveling Nondeterminism: On having the Ability to Choose (extended abstract). In: Jorrand, P., Sgurev, V. (eds.) Proceedings of the sixth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1994, Sofia, Bulgaria, September 21-24. World Scientific, Singapore (1994)"},{"key":"6_CR16","volume-title":"Proceedings of the 18th German Annual Conference on Artificial Intelligence, KI 1994 : Advances in Artificial Intelligence","author":"B. Linder van","year":"1994","unstructured":"van Linder, B., van der Hoek, W., Meyer, C.J.-J.: Communicating Rational Agents. In: Nebel, B., Dreschler-Fischer, L. (eds.) Proceedings of the 18th German Annual Conference on Artificial Intelligence, KI 1994: Advances in Artificial Intelligence, Saarbr\u00fccken, Alemania, September 18-23. Springer, Heidelberg (1994)"},{"key":"6_CR17","unstructured":"Vanderveken, D.: La logique illocutoire. Mandarga \u00e9d. Bruselas (1990)"},{"key":"6_CR18","unstructured":"Vernant, D.: Mod\u00e8le projectif et structure actionnelle du dialogue informatif. Du dialogue, Recherches sur la philosophie du langage, Vrin \u00e9d., Par\u00eds,\u00a014, 295\u2013314 (1992)"},{"key":"6_CR19","unstructured":"Villase\u00f1or, L., Mass\u00e9, A., Pineda, L.A.: The DIME corpus. In: ENC01, 3er Encuentro Internacional de Ciencias de la Computaci\u00f3n, Aguascalientes, M\u00e9xico, SMCC-INEGI 2001 (2001)"}],"container-title":["Lecture Notes in Computer Science","Computational Linguistics and Intelligent Text Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24630-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T23:24:30Z","timestamp":1711668270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24630-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210061","9783540246305"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24630-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}