244 search results - page 24 / 49 » Coevolving strategic intelligence |
148
click to vote
ATAL
2009
Springer
15 years 11 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...
124
click to vote
EPIA
2005
Springer
15 years 10 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...
132
click to vote
ACRI
2006
Springer
15 years 10 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...
125
click to vote
AI
2001
Springer
15 years 8 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...
118
click to vote
ECAL
2001
Springer
15 years 8 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...