10568 search results - page 30 / 2114 » Computer Intelligence and Formalization |
SFM
2009
Springer
15 years 2 months ago
2009
Springer
AAAI
2004
14 years 11 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
During the last years, argumentation has been gaining increasing interest in modeling different reasoning tasks of an agent. Many recent works have acknowledged the importance of ...
AI
2004
Springer
14 years 9 months ago
2004
Springer
We study coalitional games in which agents are each assumed to have a goal to be achieved, and where the characteristic property of a coalition is a set of choices, with each choi...
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...