{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:22:23Z","timestamp":1725495743867},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643807"},{"type":"electronic","value":"9783540697640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0052312","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:51:52Z","timestamp":1153993912000},"page":"39-67","source":"Crossref","is-referenced-by-count":6,"title":["Multimodal cooperation with the DenK system"],"prefix":"10.1007","author":[{"given":"Harry","family":"Bunt","sequence":"first","affiliation":[]},{"given":"Ren\u00e9","family":"Ahn","sequence":"additional","affiliation":[]},{"given":"Robbert -Jan","family":"Beun","sequence":"additional","affiliation":[]},{"given":"Tijn","family":"Borghuis","sequence":"additional","affiliation":[]},{"given":"Kees","family":"van Overveld","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,17]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-60579-7_1","volume-title":"Types for Proofs and Programs: Selected Papers","author":"R. Ahn","year":"1995","unstructured":"Ahn, R. (1995a) Communicating Contexts, a Pragmatic Approach to Information Exchange. In: P. Dybjer, B. Nordstr\u00f6m, & J. Smith (eds.) Types for Proofs and Programs: Selected Papers. Berlin: Springer, 1\u201313."},{"unstructured":"Ahn, R. (1995b) Logical Model of the Electron Microscope. DenK Report 95\/15, Tilburg University.","key":"3_CR2"},{"unstructured":"Ahn, R. (1996) Monotonic description of dynamic worlds. In: Proc. NIAC'96 Conference (forthc.)","key":"3_CR3"},{"key":"3_CR4","first-page":"105","volume-title":"Papers from the Second Symposium on Logic and Language","author":"R. Ahn","year":"1990","unstructured":"Ahn, R. & Kolb, H.P. (1990) Discourse Representation meets Constructive Mathematics. In: K\u00e1lm\u00e1n, L. & P\u00f3los, L. (eds.) Papers from the Second Symposium on Logic and Language, Akademiai Kiad\u00f3, Budapest, 105\u2013124."},{"unstructured":"Ahn, R., Kievit, L., Rentier, M. Verlinden, M. (1995) Two Levels of Semantic Representation in DenK. In: T. Andernach, M. Moll & A. Nijholt (eds.) Papers from the Fifth CLIN Meeting. Universiteit Twente, 35\u201358.","key":"3_CR5"},{"unstructured":"Ahn, R. & Borghuis, T. (1996) Chronicle. DenK Report 96\/21, Tilburg University.","key":"3_CR6"},{"unstructured":"Allwood, J. (1976) Linguistic Communication as Action and Cooperation. Gothenburg Monographs in Linguistics 2, University of G\u00f6teborg.","key":"3_CR7"},{"unstructured":"Allwood, J. (1997) An Activity-Based Approach to Pragmatics. In: Black, W.J. & Bunt, H.C. (eds.) Abduction, Belief and Context, Studies in Computational Pragmatics, University College London Press (forthc.)","key":"3_CR8"},{"key":"3_CR9","volume-title":"The Core Language Engine","author":"H. Alshawi","year":"1992","unstructured":"Alshawi, H. (1992) The Core Language Engine, Cambridge: Cambridge University press."},{"key":"3_CR10","volume-title":"How to do things with words","author":"J.L. Austin","year":"1962","unstructured":"Austin, J.L. (1962) How to do things with words. Oxford: Oxford University Press."},{"issue":"2","key":"3_CR11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1017\/S0956796800020025","volume":"1","author":"H. Barendregt","year":"1991","unstructured":"Barendregt, H. (1991) Introduction to Generalized Type Systems. Journal of Functional Programming, 1(2). 125\u2013154.","journal-title":"Journal of Functional Programming"},{"key":"3_CR12","volume-title":"Handbook of Logic in Computer Science","author":"H. Barendregt","year":"1992","unstructured":"Barendregt, H. (1992) Lambda calculi with types. In: S. Abramsky, D. Gabbay and T. Maibaum (eds.) Handbook of Logic in Computer Science. Oxford: Oxford University Press."},{"unstructured":"Beun, R.J. (1989) The Recognition of Declarative Questions in Information Dialogues. PhD Dissertation, Tilburg University.","key":"3_CR13"},{"unstructured":"Beun, R.J. (1991) A Framework for Cooperative Dialogues. In: Taylor, M.M., N\u00e9el, F. & Bouwhuis, D.G. (eds.) Proceedings of the Second Venaco Workshop on the Structure of Multimodal Dialogue. Maratea, Italy.","key":"3_CR14"},{"unstructured":"Beun, R.J. & Kievit, L.A. (1996) Resolving definite expressions in dialogue. In: Proc. Fifth Int. Conference on Pragmatics, Mexico City, July 1996.","key":"3_CR15"},{"doi-asserted-by":"crossref","unstructured":"Borghuis, T. (1993) Interpreting Modal Natural Deduction in type theory. In: de Rijke, M. (ed.) Diamonds and Defaults. Kluwer Academic Publishers. 67\u2013102.","key":"3_CR16","DOI":"10.1007\/978-94-015-8242-1_3"},{"unstructured":"Borghuis, T. (1994) Coming to Terms with Modal Logic: On the Interpretation of Modalities in Typed \u03bb-Calculus. Ph.D. Dissertation, Eindhoven University of Technology.","key":"3_CR17"},{"unstructured":"De Bruijn, N.G. (1980) A survey of the project Automath. In: Seldin & Hindley (eds.) To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalisms. Academic Press. 579\u2013606.","key":"3_CR18"},{"key":"3_CR19","first-page":"47","volume-title":"The Structure of Multimodal Dialogue","author":"H.C. Bunt","year":"1989","unstructured":"Bunt, H.C. (1989) Information dialogues as communicative action in relation to partner modeling and information processing. In: Taylor, M.M., N\u00e9el, F. & Bouwhuis, D.G. (eds.) The Structure of Multimodal Dialogue. North-Holland, Amsterdam.47\u201373."},{"key":"3_CR20","first-page":"67","volume-title":"Papers from the Second Symposium on Logic and Language","author":"H.C. Bunt","year":"1991","unstructured":"Bunt, H.C. (1991) DIT \u2014 Dynamic Interpretation in Text and Dialogue. In: L. K\u00e1lm'an & L. P\u00f3los (eds.) Papers from the Second Symposium on Logic and Language, Budapest: Akademiai Kiad\u00f3, 67\u2013104."},{"issue":"1","key":"3_CR21","first-page":"19","volume":"3","author":"H.C. Bunt","year":"1994","unstructured":"Bunt, H.C. (1994) Context and Dialogue Control. THINK Quarterly 3(1), 19\u201331.","journal-title":"THINK Quarterly"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-57827-4_14","volume-title":"Dialogue and Instruction: Modelling Interaction in Intelligent Tutoring Systems","author":"H.C. Bunt","year":"1995","unstructured":"Bunt, H.C. (1995a) Dialogue Control Functions and Interaction Design. In R.J. Beun, M. Baker, and M. Reiner (eds.) Dialogue and Instruction: Modelling Interaction in Intelligent Tutoring Systems. Berlin: Springer, 197\u2013214."},{"unstructured":"Bunt, H.C. (1995b) Dialogue Semantics and Pragmatics in the \u03b4ELTA Project. In: L. Dybkjaer (ed.) Proc. of the Second on Spoken Dialogue and Discourse Workshop, Roskilde University, 1\u201327.","key":"3_CR23"},{"unstructured":"Bunt, H.C. (1997a) Dialogue Context Modeling. In: Proc. CONTEXT'97, International Interdisciplinary Conference on Modeling and Using Context, Rio de Janeiro, February 1997, 130\u2013150.","key":"3_CR24"},{"unstructured":"Bunt, H.C. (1997b) Iterative Context Specification and Dialogue Theory. In: Black, W.J. & Bunt, H.C. (eds.) Abduction, Belief and Context, Studies in Computational Pragmatics, University College London Press (forthc.)","key":"3_CR25"},{"key":"3_CR26","first-page":"174","volume-title":"Intelligent Multimedia Interfaces","author":"J.D. Burger","year":"1993","unstructured":"Burger, J.D. & Marshall, R.J. (1993) The application of natural language models to intelligent multimedia. In: Mayburry, M. (ed.) Intelligent Multimedia Interfaces. Massachusetts: MIT Press, 174\u2013196."},{"key":"3_CR27","volume-title":"The Logic of Typed Feature Structures","author":"R. Carpenter","year":"1982","unstructured":"Carpenter, R. (1982) The Logic of Typed Feature Structures. Cambridge: Cambridge University Press."},{"key":"3_CR28","volume-title":"Th\u00e8se de troisi\u00e8me cycle","author":"T. Coquand","year":"1985","unstructured":"Coquand, T. (1985) Une th\u00e9orie des constructions. Th\u00e8se de troisi\u00e8me cycle. Paris: Universit\u00e9 de Paris VII."},{"unstructured":"Cremers, A.H.M. (1995) Reference to Objects: An Empirical Investigation of Taskoriented dialogues. PhD Dissertation, Eindhoven University of Technology.","key":"3_CR29"},{"doi-asserted-by":"crossref","unstructured":"Cremers, A.H.M. (1997) Object Reference in Task-oriented Keyboard Dialogues. This volume.","key":"3_CR30","DOI":"10.1007\/BFb0052324"},{"unstructured":"Curry, H.B. & Feys R. (1958) Combinatory Logic, Vol. 1, North Holland Publishing Company.","key":"3_CR31"},{"key":"3_CR32","volume-title":"Internal Report ESPRIT Project PLUS","author":"B. Geurts","year":"1993","unstructured":"Geurts, B. & Rentier, G. (1993) The PLUS Grammar. Internal Report ESPRIT Project PLUS, Institute for Language Technology and Artificial Intelligence ITK, Tilburg."},{"key":"3_CR33","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1017\/CBO9780511569807.007","volume-title":"Logical Frameworks","author":"L. Helmink","year":"1991","unstructured":"Helmink, L. & Ahn, R. (1991) Goal-oriented proof construction in type theory. In: Huet, G. and Plotkin, G. (eds.) Logical Frameworks. Cambridge: Cambridge University Press, 120\u2013148."},{"issue":"1\u20132","key":"3_CR34","first-page":"47","volume":"13","author":"J.R. Hobbs","year":"1987","unstructured":"Hobbs, J.R. & Shieber, S.M. (1987) An algorithm for generating quantifier scopings. Computational Linguistics 13 (1\u20132), 47\u201363.","journal-title":"Computational Linguistics"},{"key":"3_CR35","first-page":"11","volume-title":"The Structure of Multimodal Dialogue","author":"E. Hutchins","year":"1989","unstructured":"Hutchins, E. (1989) Metaphors for Interface Design. In: Taylor, M.M., N\u00e9el, F. & Bouwhuis, D.G. (eds.) The Structure of Multimodal Dialogue. Amsterdam: North-Holland,11\u201328."},{"key":"3_CR36","volume-title":"Ph.D. Dissertation","author":"J.O.M. Jaspars","year":"1993","unstructured":"Jaspars, J.O.M. (1993) Calculi for Constructive Communication. Ph.D. Dissertation, Institute for Language Technology and Artificial Intelligence ITK, Tilburg."},{"unstructured":"Kamp, J.A.W. & Reyle, U. (1993) From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Dordrecht: Kluwer Academic Publishers.","key":"3_CR37"},{"unstructured":"Kievit, L.A. (1996) ULF. DenK Report 96\/27, Tilburg University.","key":"3_CR38"},{"key":"3_CR39","volume-title":"Intuitionistic Type Theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f P. (1984) Intuitionistic Type Theory. Naples: Bibliopolis."},{"key":"3_CR40","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/107215.128690","volume-title":"Intelligent User Interfaces","author":"J.G. Neal","year":"1991","unstructured":"Neal, J.G. & Shapiro, S.C. (1991) Intelligent multimedia interface technology. In: Sullivan, J.W. & Taylor, S.W. (eds.) Intelligent User Interfaces. Reading, MA: Addison-Wesley,11\u201343."},{"issue":"1","key":"3_CR41","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1002\/vis.4340020106","volume":"2","author":"C.W.A.M. Overveld van","year":"1991","unstructured":"Overveld, C.W.A.M. van (1991) The Generalized Display Processor as an approach to real time interactive 3-D computer animation. The Journal of Visualisation and Computer Animation, 2(1),16\u201321.","journal-title":"The Journal of Visualisation and Computer Animation"},{"unstructured":"Peeters, E.A.J. (1994) Design of an object-oriented interactive animation system. PhD Dissertation, Eindhoven University of Technology.","key":"3_CR42"},{"unstructured":"Pollard, C. & Sag, I. (1994) Head-driven Phrase Structure Grammar. University of Chicago Press.","key":"3_CR43"},{"unstructured":"Rentier, G. (1993) ULF. \u03b4ELTA Working Paper, May 1994, ITK, Tilburg University.","key":"3_CR44"},{"key":"3_CR45","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts","author":"J.R. Searle","year":"1969","unstructured":"Searle, J.R. (1969) Speech Acts. Cambridge: Cambridge University Press."},{"key":"3_CR46","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1006\/imms.1993.1082","volume":"39","author":"C.S. Souza de","year":"1993","unstructured":"de Souza, C.S. (1993) The semiotic engineering of user interface languages. International Journal of Man-Machine Studies, 39, 753\u2013774.","journal-title":"International Journal of Man-Machine Studies"},{"unstructured":"Verlinden, M. (1996) Development of the cores syntax for DenK. DenK Report 96\/22, Tilburg University.","key":"3_CR47"},{"key":"3_CR48","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1016\/0004-3702(93)90022-4","volume":"63","author":"W. Wahlster","year":"1993","unstructured":"Wahlster, W., Andr\u00e9, E., Finkler, W., Profitlich, H.-J. & Rist, T. (1993) Plan-based integration of natural language and graphics generation. Artificial Intelligence, 63, 387\u2013427.","journal-title":"Artificial Intelligence"},{"unstructured":"Wilson, M.D., Sedlock, D., Binot, J-L. & Falzon, P. (1991) An architecture for multimodal dialogue. In: Taylor, M.M., N\u00e9el, F. & Bouwhuis, D.G. (eds.) Proceedings of the Second Venaco Workshop on the Structure of Multimodal Dialogue. Maratea, Italy.","key":"3_CR49"}],"container-title":["Lecture Notes in Computer Science","Multimodal Human-Computer Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T14:07:55Z","timestamp":1587132475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052312"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643807","9783540697640"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/bfb0052312","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}