5499 search results - page 112 / 1100 » Generalized Rewrite Theories |
150
click to vote
NIPS
1998
15 years 5 months ago
1998
A simple learning rule is derived, the VAPS algorithm, which can be instantiated to generate a wide range of new reinforcementlearning algorithms. These algorithms solve a number ...
154
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Game theory is emerging as a popular tool for distributed control of multiagent systems. In order to take advantage of these game theoretic tools the interactions of the autonomous...
164
Voted
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
148
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
127
click to vote
FSS
2008
15 years 4 months ago
2008
This paper studies fuzzy relations in the graded framework of Fuzzy Class Theory (FCT). This includes (i) rephrasing existing work on graded properties of binary fuzzy relations i...