1683 search results - page 71 / 337 » Game Theory Basics |
189
Voted
LOGCOM
2006
15 years 4 months ago
2006
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
124
click to vote
JAR
2007
15 years 3 months ago
2007
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...
133
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition ...
142
click to vote
AMIRE
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents two strategies for selecting volitional facial expressions and gaze behaviors of animated agents, in the case of Online Negotiation and Soft Game Theory. It is ...
147
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
We study two properties of coalition formation algorithms, very important for their application in real-life scenarios: robustness and tolerance to some agent misbehaviors. The st...