1204 search results - page 17 / 241 » Hybrid Probabilistic Programs |
140
Voted
ATAL
2006
Springer
15 years 10 months 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...
164
Voted
HYBRID
2005
Springer
15 years 12 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...
128
Voted
ICFP
2006
ACM
16 years 10 days ago
2006
ACM
251
Voted
POPL
2005
ACM
16 years 6 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...
239
click to vote
PSSE
2004
Springer
15 years 11 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,...