Some first-order probability logics.

Zoran Ognjanovic Miodrag Raskovic

Published in: Theor. Comput. Sci. (2000)

Keyphrases

conditional logic
probability distribution
first order logic
higher order
expressive power
classical first order logic
modal logic
logic programming
inference rules
bayesian networks
propositional calculus
neural network
lower bound
horn clauses