3446 search results - page 201 / 690 » A Reasoning Algorithm for pD* |
148
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilist...
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
136
click to vote
IJCAI
2007
15 years 6 months ago
2007
Deictic representation is a representational paradigm, based on selective attention and pointers, that allows an agent to learn and reason about rich complex environments. In this...
118
click to vote
CSC
2006
15 years 5 months ago
2006
Abstract -- We experimentally examine the performance of preconditioners based on entries of the symmetric positive definite part and small subspace solvers for linear system of eq...
127
click to vote
ENTCS
2008
15 years 4 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...