We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
There is a need to understand the impact of technology failures on work. In the studies reported here, subjects' plans at the start of each day were compared with their event...
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
This paper describes how mixed reality (MR) technology is applied in the urban renewal process to help mixed groups of stakeholders collaboratively construct, explore and discuss ...