Sciweavers

173 search results - page 8 / 35
» Basing Probabilistic Logic on Gambles
Sort
View
AAAI
1996
13 years 8 months ago
Irrelevance and Conditioning in First-Order Probabilistic Logic
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...
Daphne Koller, Joseph Y. Halpern
ICLP
2010
Springer
13 years 11 months ago
Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
Daan Fierens
CCIA
2008
Springer
13 years 9 months ago
Probabilistic Dynamic Belief Logic for Image and Reputation
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
Isaac Pinyol, Jordi Sabater-Mir, Pilar Dellunde
LAI
1996
128views more  LAI 1996»
13 years 8 months ago
Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
We propose a new semantics for modeling belief, mixing conncepts from qualitative probabilistic and classical possible world accounts. Our belief structures are coherent sets of q...
Emil Weydert
CORR
2011
Springer
222views Education» more  CORR 2011»
13 years 2 months ago
Generic Trace Logics
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
Christian Kissig, Alexander Kurz