9490 search results - page 471 / 1898 » Slow Intelligence Systems |
248
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
238
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
207
click to vote
AAAI
2010
15 years 8 months ago
2010
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
175
click to vote
AAAI
2004
15 years 8 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
177
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Information quality assurance despite the existence of uncertainty about sources can be investigated in the context of soft security where an agent maintains trustworthiness evalu...