967 search results - page 35 / 194 » Probabilistic Predicative Programming |
123
click to vote
CDC
2009
IEEE
15 years 4 days ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
146
click to vote
ICMLA
2009
15 years 1 days ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...
124
click to vote
ML
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
120
Voted
TODS
2012
13 years 4 months ago
2012
111
click to vote
FIW
2009
15 years 3 days ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...