Probabilistic Answer Set Programming. - Eduardo Menezes de Morais; Marcelo Finger (BRACIS, 2013)