2638 search results - page 11 / 528 » Frameworks for Reasoning about Agent Based Systems |
150
Voted
DALT
2004
Springer
15 years 9 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...
143
Voted
FOSSACS
2000
Springer
15 years 7 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...
101
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
151
Voted
CLIMA
2009
15 years 1 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 ...
122
Voted
ATAL
2009
Springer
15 years 10 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...