1316 search results - page 109 / 264 » Intelligent Agents: Issues and Logics |
IAT
2008
IEEE
14 years 10 months ago
2008
IEEE
To ensure multi-agent based simulation models reproducibility, particular attention must be payed on its possible implementation ambiguities. This concerns every aspect of simulat...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
AISC
2008
Springer
14 years 12 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...