1523 search results - page 57 / 305 » Partially ordered secretaries |
118
Voted
ICANN
2001
Springer
15 years 5 months ago
2001
Springer
Unlike traditional reinforcement learning (RL), market-based RL is in principle applicable to worlds described by partially observable Markov Decision Processes (POMDPs), where an ...
105
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
130
Voted
IPL
2008
15 years 17 days ago
2008
A homomorphism from an oriented graph G to an oriented graph H is an arc-preserving mapping f from V(G) to V(H), that is f(x)f(y) is an arc in H whenever xy is an arc in G. The or...
101
click to vote
CADE
1994
Springer
15 years 4 months ago
1994
Springer
In this paper we investigate the concept of simple termination. A term rewriting system is called simply terminating if its termination can be proved by means of a simpli cation o...
107
Voted
ICGI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Kanazawa has shown that several non-trivial classes of categorial grammars are learnable in Gold’s model. We propose in this article to adapt this kind of symbolic lear...