4192 search results - page 17 / 839 » Probabilistic Logic Programming |
ICLA
2011
Springer
12 years 11 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
ECAI
2000
Springer
13 years 12 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
ISIPTA
2005
IEEE
14 years 1 months ago
2005
IEEE
This article presents a probabilistic logic whose sentences can be interpreted as asserting the acceptability of gambles described in terms of an underlying logic. This probabilis...
APWEB
2006
Springer
13 years 11 months ago
2006
Springer
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...