866 search results - page 32 / 174 » A Formal Investigation of |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We investigate planning for self-interested agents in large multi-agent simulations. We present two heuristic algorithms that exploit different domain-specific properties in order...
IAT
2003
IEEE
14 years 3 months ago
2003
IEEE
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
FORMATS
2009
Springer
14 years 4 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
MAGS
2010
13 years 4 months ago
2010
Community is a common phenomenon in natural ecosystems, human societies as well as artificial multi-agent systems such as those in web and Internet based applications. In many sel...
IFIPTCS
2000
14 years 1 months ago
2000
The capabilities of alternating cellular automata (ACA) to accept formal languages are investigated. Several notions of alternation in cellular automata have been proposed. Here we...