3D ACL AD ADs AME ARTIMIS Amodeus BNF CA CASSY CCT CLG COSMA CPM Cyc DDL DFDs DIGIS DenK Dialogos ETAG ETIT GOMS GTA GUI GUIs Gricean HCI HDDL HOS HTA IR IRUs InterLACE InterRAP InterView JSD KIF KQML LP LTM MHP MUSE MacApp NGOMSL NLDB NLP OO ORIMUHS PAC PADIS PARADISE PCT PKSM PMM PMMs PRACMA Petri nets Philips QuickSet SC SF STM SUPERMAN Schisma ScreenView Seeheim Speechmania TAKD TCR TOD TODs TS UAN UF UI UIDE UIMS ULF UVM VR WOMBAT WOz abstraction accommodation activity theory agent model agent models anthropomorphic behaviour behavioural behaviourism chunking cinematography circuit fix-it shop cognitive framework cognitive load cognitive loads cognitive psychology cognitive walkthrough communicability communication conceptual model conceptual models cooperativity coreferences criteria criterium denotata denotatum dialogue grammar distributed cognition ergonomic ethnographical executable externalise externalised formal specification formal specifications gestalt gestalts icon iconic illocution illocutionary indexical information theory initative intentionality interaction model interaction models internalise internalised learnability learnable locution long term memory methodologies methodology metric metrical metrics misrecognition misrecognitions motoric multimodal multimodality noncooperative noninteractive ontologies organisational parallellism performative perlocution pragmatical pragmaticism primary memory protocol protocols semiotic semiotics short term memory sign significata significatum simulable situated action modelling standardisation subdialogue subdialogues symbol symbolic task-oriented test-bed testbed theatre uncooperativeness underspecification underspecified underspecify unsyntactic usability utterance verification