667 search results - page 61 / 134 » On Various Negative Translations |
164
click to vote
UAI
2003
15 years 7 months ago
2003
This paper examines a number of solution methods for decision processes with non-Markovian rewards (NMRDPs). They all exploit a temporal logic specification of the reward functio...
171
click to vote
NIPS
1997
15 years 7 months ago
1997
In macaque inferotemporal cortex (IT), neurons have been found to respond selectively to complex shapes while showing broad tuning (“invariance”) with respect to stimulus tran...
156
click to vote
LISP
2006
15 years 6 months ago
2006
The last few years have seen the development of the rewriting calculus (also called rho-calculus or -calculus) that uniformly integrates first-order term rewriting and the -calculu...
148
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...
175
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of diff...