494 search results - page 9 / 99 » Probabilistic Programming in Anglican |
ICDE
2008
IEEE
15 years 4 months ago
2008
IEEE
We formulate three intuitive semantic properties for topk queries in probabilistic databases, and propose GlobalTopk query semantics which satisfies all of them. We provide a dyn...
111
click to vote
AAMAS
2011
Springer
14 years 1 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
116
click to vote
LPNMR
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
COCO
1998
Springer
15 years 2 months ago
1998
Springer
We show that the satisfiability problem for bounded-error probabilistic ordered branching programs is NP-complete. If the error is very small, however (more precisely, if the erro...
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
