1127 search results - page 55 / 226 » Theory Extension in ACL2(r) |
138
click to vote
CSE
2009
IEEE
16 years 27 days ago
2009
IEEE
—We propose a parallel algorithm for finding Nash equilibria in n-player noncooperative games. The algorithm is based on enumerating the supports of mixed strategies in parallel...
145
click to vote
ICTAI
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
181
click to vote
ALDT
2009
Springer
16 years 23 days ago
2009
Springer
We present an anytime multiagent learning approach to satisfy any given optimality criterion in repeated game self-play. Our approach is opposed to classical learning approaches fo...
150
click to vote
FUZZIEEE
2007
IEEE
16 years 14 days ago
2007
IEEE
— This paper provides a broad overview of logical and black box approaches to fuzzy and rough hybridization. The logical approaches include theoretical, supervised learning, feat...
155
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...