Cross-Contextual Reference in Human-Computer Interaction
One of the themes of this year’s workshop is the challenge of designing usable systems that make use of shared environments. Based on this, one of the scenarios selected for discussion by the working groups consists of “genuinely co-operative applications, involving concurrent interaction between multiple parties in some form of shared world”.
KeywordsLinear Logic Concurrent Interaction Formal System Model Theory Formal Semantic Macintosh Operating System
Unable to display preview. Download preview PDF.
- L. Linsky (ed.) Reference and Modality, Oxford Readings in Philosophy, Oxford University Press, 1971Google Scholar
- J.C. Campos, M.D. Harrison “Formally verifying interactive systems: a review”. In M.D. Harrison, J.C. Torres (eds.) Design,Specification and Verification of Interactive Systems ‘87,Proc. of the 4th. International Eurographics Workshop, Granada, Spain, Springer (1997), pp. 109–124Google Scholar
- H. Kamp “A theory of truth and semantic representation”, in J.A.G. Groenendijk, T.M. Janssen et al. (eds.) Formal Methods in the Study of Language Part 1,Amsterdam: Mathematisch Centrum, (1981) no. 135 in Mathematical Centre Tracts, pp. 277–322Google Scholar
- J. van Eijck, H. Kamp “Representing discourse in context”. In J. van Benthem, A. ter Meulen (eds.) Handbook of Logic and Language, Elsevier, 1997, chapter 3Google Scholar
- K. Terui “Anaphoric linking at run time: a type-logical account of discourse representation”, Tech. Rep. LP-1997–17, Institute for Logic, Language and Computation, Amsterdam, 1998Google Scholar
- G. Doherty, M.D. Harrison “A representational approach to the specification of presentations”. In M.D. Harrison, J.C. Torres (eds.) Design,Specification and Verification of Interactive Systems ‘87,Proc. of the 4th. International Eurographics Workshop, Granada, Spain, Springer (1997), pp. 273–290Google Scholar
- A.J. Dix “Moving between contexts”. In P. Palanque, R. Bastide (eds.) Design,Specification and Verification of Interactive Systems ‘85, Proc. of the 2nd. International Eurographics Workshop, Toulouse, France, Springer Wien (1995), pp. 149–173Google Scholar