Probabilistic Answer Set Programming
Eduardo Menezes de Morais, Marcelo Finger · 2013
This paper introduces a technique called Probabilistic Answer Set Programming (PASP), that allows modeling complex theories and checking its satisfiability with respect to a set of probabilistic data. We propose an algorithm for PASP processing based on a Turing reduction method to ASP.