## 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.