Probabilistic Reasoning within Answer Set Programming with Quantifiers.

Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca

Browse the full KR paper archive.