1127 search results - page 55 / 226 » Theory Extension in ACL2(r) |
78
Voted
CSE
2009
IEEE
15 years 7 months 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...
96
Voted
ICTAI
2009
IEEE
15 years 7 months 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...
123
Voted
ALDT
2009
Springer
15 years 7 months 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...
94
Voted
FUZZIEEE
2007
IEEE
15 years 7 months 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...
102
Voted
ATAL
2007
Springer
15 years 7 months 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...