Sciweavers

3691 search results - page 12 / 739
» Bayesian Logic Programs
Sort
View
LPNMR
1999
Springer
15 years 8 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
15 years 7 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
16 years 4 months ago
Quantitative Separation Logic and Programs with Lists
Marius Bozga, Radu Iosif, Swann Perarnau
ECSQARU
2007
Springer
15 years 10 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