3729 search results - page 207 / 746 » On Formal Modeling of Agent Computations |
210
Voted
EXPERT
2006
15 years 7 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
212
click to vote
CMSB
2006
Springer
15 years 11 months ago
2006
Springer
We present a game-theoretic foundation for gene regulatory analysis based on the recent formalism of rewriting game theory. Rewriting game theory is discrete and comes with a graph...
226
Voted
FOSSACS
2005
Springer
16 years 19 days ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
193
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We consider Coalitional Skill Games (CSGs), a simple model of cooperation among agents. This is a restricted form of coalitional games, where each agent has a set of skills that a...
166
Voted
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The brain has long been seen as a powerful analogy from which novel computational techniques could be devised. However, most artificial neural network approaches have ignored the...