2638 search results - page 11 / 528 » Frameworks for Reasoning about Agent Based Systems |
132
click to vote
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engine...
128
click to vote
FOSSACS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
132
click to vote
CLIMA
2009
14 years 11 months ago
2009
Abstract. No intelligent decision support system functions even remotely without knowing the preferences of the user. A major problem is that the way average users think about and ...
106
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...