774 search results - page 70 / 155 » Experiments with an Agent-Oriented Reasoning System |
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
ISIPTA
1999
IEEE
14 years 8 days ago
1999
IEEE
The paper summarizes the author's experience in dealing with the Dempster-Shafer theory relating to reliability assessments and demonstrates how to make component and system ...
AAMAS
2002
Springer
13 years 7 months ago
2002
Springer
Cooperation and learning are two ways in which an agent can improve its performance. Cooperative Multiagent Learning is a framework to analyze the tradeoff between cooperation and ...
TITS
2002
13 years 7 months ago
2002
This paper proposes a novel concept of intelligent navigator that can give the driver timely advice on safe and efficient driving. From both the current traffic condition obtained ...