Sciweavers

3691 search results - page 12 / 739
» Bayesian Logic Programs
Sort
View
LPNMR
1999
Springer
14 years 2 months ago
A Comparison of Sceptical NAF-Free Logic Programming Approaches
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
Grigoris Antoniou, Michael J. Maher, David Billing...
ACIVS
2006
Springer
14 years 1 months ago
Interactive Learning of Scene Context Extractor Using Combination of Bayesian Network and Logic Network
The vision-based scene understanding technique that infers scene-interpreting contexts from real-world vision data has to not only deal with various uncertain environments but also...
Keum-Sung Hwang, Sung-Bae Cho
CADE
2008
Springer
14 years 10 months ago
Quantitative Separation Logic and Programs with Lists
Marius Bozga, Radu Iosif, Swann Perarnau
ECSQARU
2007
Springer
14 years 4 months ago
Logical Compilation of Bayesian Networks with Discrete Variables
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
Michael Wachter, Rolf Haenni