Sciweavers

3392 search results - page 204 / 679
» Using Knowledge Representation to Understand Interactive Sys...
Sort
View
APPINF
2003
15 years 5 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
ICCS
2005
Springer
15 years 9 months ago
Applications of Description Logics: State of the Art and Research Challenges
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
Ian Horrocks
124
Voted
ATAL
2007
Springer
15 years 10 months ago
Modular interpreted systems
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
Wojciech Jamroga, Thomas Ågotnes
CHI
2007
ACM
16 years 4 months ago
How pairs interact over a multimodal digital table
Co-located collaborators often work over physical tabletops using combinations of expressive hand gestures and verbal utterances. This paper provides the first observations of how...
Edward Tse, Chia Shen, Saul Greenberg, Clifton For...
ACMDIS
2010
ACM
15 years 4 months ago
Watt-Lite: energy statistics made tangible
Increasing our knowledge of how design affects behaviour in the workplace has a large potential for reducing electricity consumption. This would be beneficial for the environment ...
Li Jönsson, Loove Broms, Cecilia Katzeff