Sciweavers

967 search results - page 43 / 194
» Probabilistic Predicative Programming
Sort
View
FOAL
2007
ACM
15 years 6 months ago
Specializing continuations a model for dynamic join points
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
Christopher Dutchyn
ICDE
2008
IEEE
161views Database» more  ICDE 2008»
15 years 8 months ago
On the semantics and evaluation of top-k queries in probabilistic databases
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...
Xi Zhang, Jan Chomicki
AAMAS
2011
Springer
14 years 6 months ago
Declarative programming for agent applications
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...
John W. Lloyd, Kee Siong Ng
154
Voted
LPNMR
2001
Springer
15 years 6 months ago
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
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...
Thomas Lukasiewicz
COCO
1998
Springer
86views Algorithms» more  COCO 1998»
15 years 6 months ago
The Satisfiability Problem for Probabilistic Ordered Branching Programs
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...
Manindra Agrawal, Thomas Thierauf