Probabilistic reasoning with answer sets
C. Baral, M. Gelfond and N. Rushton
Abstract
We give a logic programming based account of probability and
describe a declarative language P-log capable of reasoning which
combines both logical and probabilistic arguments. Several
non-trivial examples illustrate the use of P-log for knowledge
representation.