Sciweavers

517 search results - page 25 / 104
» On the Intended Interpretations of Actions
Sort
View
LANMR
2007
14 years 8 days ago
Planning using situation calculus, prolog and a mobile robot
This paper presents a system that controls the behavior of a mobile robot. The system is based on situation calculus, the initial state is described and a goal is given, Prolog pro...
Pilar Pozos Parra, Edgardo Yescas, Jacob Vá...
HCI
2009
13 years 8 months ago
Models of Culture for Virtual Human Conversation
In this paper, we survey different types of Models of culture for virtual humans. Virtual humans are artificial agents that include both a visual human-like body and intelligent co...
David R. Traum
CONCUR
2007
Springer
14 years 5 months ago
Fair Cooperative Multithreading
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
Gérard Boudol
NORDICHI
2006
ACM
14 years 4 months ago
Designing familiar open surfaces
While participatory design makes end-users part of the design process, we might also want the resulting system to be open for interpretation, appropriation and change over time to...
Kristina Höök
JANCL
2007
115views more  JANCL 2007»
13 years 10 months ago
A logical characterisation of qualitative coalitional games
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
Paul E. Dunne, Wiebe van der Hoek, Michael Wooldri...