1204 search results - page 17 / 241 » Hybrid Probabilistic Programs |
ATAL
2006
Springer
14 years 11 days ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
ICFP
2006
ACM
14 years 2 months ago
2006
ACM
POPL
2005
ACM
14 years 9 months ago
2005
ACM
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
PSSE
2004
Springer
14 years 2 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...