1402 search results - page 210 / 281 » A Practical Agent Programming Language |
163
click to vote
ICFEM
2009
Springer
15 years 18 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
143
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
140
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In many scientific domains, researchers are turning to large-scale behavioral simulations to better understand real-world phenomena. While there has been a great deal of work on s...
167
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
123
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...