2638 search results - page 246 / 528 » Frameworks for Reasoning about Agent Based Systems |
168
click to vote
JANCL
2007
15 years 6 months ago
2007
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
176
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
145
click to vote
HOLOMAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Semi-industrial pilot plants are the best experimental domain for advanced control systems testing with the real-world instrumentation. At the same time, inexpensive flex...
162
click to vote
IJCAI
2001
15 years 8 months ago
2001
In this paper we describe a multiagent system in which agents negotiate to allocate resources and satisfy constraints in a real-time environment of multisensor target tracking. Th...
156
click to vote
IAT
2007
IEEE
16 years 29 days ago
2007
IEEE
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...