8768 search results - page 309 / 1754 » Generalizing the notion of support |
186
click to vote
AAAI
2010
15 years 9 months ago
2010
This paper introduces a principled approach for the design of a scalable general reinforcement learning agent. This approach is based on a direct approximation of AIXI, a Bayesian...
156
Voted
EUSFLAT
2007
15 years 9 months ago
2007
Based on a minimal set of axioms we introduce a general integral which can be defined on arbitrary measurable spaces. It acts on measures which are only (finite) monotone set fu...
190
click to vote
IJCAI
1989
15 years 8 months ago
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...
181
click to vote
PLDI
2009
ACM
16 years 4 days ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
211
Voted
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...