10568 search results - page 428 / 2114 » Computer Intelligence and Formalization |
129
click to vote
WRAC
2005
Springer
15 years 10 months ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
158
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes a unified and general framework for argumentation-based negotiation, in which the role of argumentation is formally analyzed. The framework makes it possible t...
150
click to vote
AMI
2008
Springer
15 years 6 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
144
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we address the problem of coordination in multi-agent sequential decision problems with infinite statespaces. We adopt a game theoretic formalism to describe the int...
141
click to vote
ICALT
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...