3729 search results - page 16 / 746 » On Formal Modeling of Agent Computations |
ICCCI
2009
Springer
15 years 6 months ago
2009
Springer
112
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
115
click to vote
ACII
2007
Springer
15 years 3 months ago
2007
Springer
Recent research has shown that virtual agent able to express empathic emotions enhances human-machine interaction. In this paper, we present the capabilities that virtual agent sho...
AAAI
2004
15 years 3 months ago
2004
We present CAMEO, the Camera Assisted Meeting Event Observer, which is a physical awareness system designed for use by an agent-based electronic assistant. CAMEO is used to observ...