3691 search results - page 6 / 739 » Bayesian Logic Programs |
139
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
128
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
96
Voted
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
We investigate algebraic, logical, and geometric properties of concepts recognized by various classes of probabilistic classifiers. For this we introduce a natural hierarchy of pr...
128
Voted
ICLP
1991
Springer
15 years 5 months ago
1991
Springer
Interpretation of Logic Programs 1