{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T19:28:13Z","timestamp":1751484493291},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1007\/bf00849729","type":"journal-article","created":{"date-parts":[[2004,12,21]],"date-time":"2004-12-21T06:19:24Z","timestamp":1103609964000},"page":"431-445","source":"Crossref","is-referenced-by-count":12,"title":["The DenK-architecture: A fundamental approach to user-interfaces"],"prefix":"10.1007","volume":"8","author":[{"given":"R. M. C.","family":"Ahn","sequence":"first","affiliation":[]},{"given":"R. J.","family":"Beun","sequence":"additional","affiliation":[]},{"given":"T.","family":"Borghuis","sequence":"additional","affiliation":[]},{"given":"H. C.","family":"Bunt","sequence":"additional","affiliation":[]},{"given":"C. W. A. M.","family":"Van Overveld","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Ahn, R. M. C. (1994).The Database. Internal Report University of Tilburg (to appear)."},{"key":"CR2","first-page":"105","volume-title":"Papers from the Second Symposium on Logic and Language","author":"R. M. C. Ahn","year":"1990","unstructured":"Ahn, R. M. C. & 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, 105?124. Akad\u00e9mia Kiad\u00f3, Budapest."},{"issue":"2","key":"CR3","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?154.","journal-title":"Journal of Functional Programming"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0378-2166(90)90063-J","volume":"14","author":"R. J. Beun","year":"1990","unstructured":"Beun, R. J. (1990). The Recognition of Dutch Declarative Questions.Journal of Pragmatics 14: 39?56.","journal-title":"Journal of Pragmatics"},{"key":"CR5","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":"CR6","first-page":"5","volume":"133?134","author":"J. Benthem Van","year":"1991","unstructured":"Van Benthem, J. (1991). Reflections on Epistemic Logic.Logique et Analyse 133?134: 5?14.","journal-title":"Logique et Analyse"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Borghuis, T. (1993). Interpreting Modal Natural Deduction in Type Theory. In de Rijke, M. (ed.)Diamonds and Defaults, 67?102. Kluwer Academic Publishers.","DOI":"10.1007\/978-94-015-8242-1_3"},{"key":"CR8","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, 579?606. Academic Press."},{"key":"CR9","first-page":"47","volume-title":"The Structure of Multimodel Dialogue","author":"H. C. Bunt","year":"1989","unstructured":"Bunt, H. C. (1989). Information Dialogues as Communicative Action in Relation to Partner Modelling and Information Processing. In Taylor, M. M., N\u00e9el, F. & Bouwhuis, D. G. (eds.)The Structure of Multimodel Dialogue, 47?73. North-Holland, Amsterdam."},{"key":"CR10","unstructured":"Bunt, H. C. (1993). Dynamic Interpretation and Dialogue Theory. In Black, W. J. (ed.)Abduction, Belief and Context (to appear)."},{"key":"CR11","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, 174?196. The MIT Press: Massachusetts."},{"key":"CR12","volume-title":"Une th\u00e9orie des Constructions","author":"T. Coquand","year":"1985","unstructured":"Coquand, T. (1985).Une th\u00e9orie des Constructions. Th\u00e8se de troisi\u00e8me cycle. Universit\u00e9 de Paris VII: Paris."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-642-85104-9_8","volume-title":"Basics of Man-Machine Communication for the Design of Educational Systems","author":"A. H. M. Cremers","year":"1994","unstructured":"Cremers, A. H. M. (1994). Referring in a Shared Workspace. In Brouwer, M. & Harrington, T. (eds.)Basics of Man-Machine Communication for the Design of Educational Systems, 71?78. Springer-Verlag: Berlin."},{"key":"CR14","unstructured":"Curry, H. B. & Feys R. (1958).Combinatory Logic, Vol. 1, North Holland Publishing Company."},{"key":"CR15","first-page":"41","volume-title":"Speech Acts. Syntax and semantics, Vol. 11","author":"H. P. Grice","year":"1975","unstructured":"Grice, H. P. (1975). Logic and Conversation. In Cole, P. & Morgan, J. (eds.)Speech Acts. Syntax and semantics, Vol. 11, 41?58. Academic Press: New York."},{"key":"CR16","first-page":"229","volume-title":"Understanding Spoken Language","author":"B. J. Grosz","year":"1978","unstructured":"Grosz, B. J. (1978). Discourse Analysis. In Walker, D. (ed.)Understanding Spoken Language, 229?345, Elsevier North-Holland: New York."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1017\/CBO9780511569807.007","volume-title":"Logical Frameworks","author":"L. Helmink","year":"1991","unstructured":"Helmink, L. & Ahn, R. M. C. (1991). Goal Oriented Proof Construction in Type Theory. In Huet, G. & Plotkin, G. (eds.)Logical Frameworks, 120?148. Cambridge University Press: Cambridge."},{"key":"CR18","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, 11?28. North-Holland: Amsterdam."},{"key":"CR19","first-page":"277","volume-title":"Formal Methods in the Study of Language","author":"J. A. W. Kamp","year":"1981","unstructured":"Kamp, J. A. W. (1981). A Theory of Truth and Semantic Representation. In Groenendijk, J. & Stokhof, M. (eds.)Formal Methods in the Study of Language, 277?322. Mathematisch Centrum: Amsterdam."},{"key":"CR20","volume-title":"From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory","author":"J. A. W. Kamp","year":"1993","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":"CR21","first-page":"299","volume-title":"Papers from the Second Symposium on Logic and Language","author":"P. M\u00e4enp\u00e4\u00e4","year":"1990","unstructured":"M\u00e4enp\u00e4\u00e4, P. & Ranta, A. (1990). An Implementation of Intuitionistic Categorial Grammar. In K\u00e1lm\u00e1n, L. & P\u00f3los, L. (eds.)Papers from the Second Symposium on Logic and Language, 299?318. Akad\u00e9mia Kiad\u00f3, Budapest."},{"key":"CR22","volume-title":"Intuitionistic Type Theory","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P. (1984).Intuitionistic Type Theory. Bibliopolis: Naples."},{"key":"CR23","unstructured":"Meyer, B. (1988)Object-Oriented Software Construction. Prentice Hall International."},{"key":"CR24","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, 11?43. Addison-Wesley: Reading, MA."},{"issue":"1","key":"CR25","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1002\/vis.4340020106","volume":"2","author":"C. W. A. M. Overveld Van","year":"1991","unstructured":"Van Overveld, C. W. A. M. (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?21.","journal-title":"The Journal of Visualisation and Computer Animation"},{"key":"CR26","unstructured":"Peeters, E. A. J. (1994). LOOKS:Syntax and Semantics. Computing Science Note. Eindhoven University of Technology (to appear)."},{"key":"CR27","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 University Press: Cambridge."},{"key":"CR28","doi-asserted-by":"crossref","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?774.","journal-title":"International Journal of Man-Machine Studies"},{"key":"CR29","doi-asserted-by":"crossref","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?427.","journal-title":"Artificial Intelligence"},{"key":"CR30","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."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00849729.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00849729\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00849729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T21:08:12Z","timestamp":1586034492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00849729"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":30,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF00849729"],"URL":"https:\/\/doi.org\/10.1007\/bf00849729","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}