2038 search results - page 68 / 408 » Probabilistic Agent Programs |
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
CIMCA
2005
IEEE
15 years 5 months ago
2005
IEEE
Linear response formulas for the generalized belief propagation in approximate inference are derived by using generalized belief propagation. The linear response formulas can give...
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
Most existing work in agent programming assumes an execution model where an agent has a knowledge base (KB) about the current state of the world, and makes decisions about what to ...
107
click to vote
KR
2004
Springer
15 years 5 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...