244 search results - page 24 / 49 » Coevolving strategic intelligence |
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we look at the Multi-Agent Meeting Scheduling problem where distributed agents negotiate meeting times on behalf of their users. While many negotiation approaches ha...
ACRI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract— We have recently shown that genetically programming game players, after having imbued the evolutionary process with human intelligence, produces human-competitive strat...
AI
2001
Springer
15 years 2 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
ECAL
2001
Springer
15 years 2 months ago
2001
Springer
We present a new model of human mate choice incorporating non-negligible courtship time. The courtship period is used by individuals to strategically swap to better partners when t...