4595 search results - page 83 / 919 » Reasoning about Plans |
PARCO
2007
15 years 6 months ago
2007
AAAI
2004
15 years 6 months ago
2004
182
click to vote
CLIMA
2006
15 years 6 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
154
click to vote
CASCON
2001
15 years 6 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
127
click to vote
ISTA
2001
15 years 6 months ago
2001
: The interest in the study of trust has grown steadily since 1990 in a wide range of scholarly disciplines. The science of information systems is no exception, since the concepts ...