Orador Convidado: Francisco Coelho (NOVA LINCS & High Performance Computing Chair &

Departamento de Informática, Universidade de Évora)

Resumo:We address the problem of extending probability from the total choices of an ASP program to the stable models, and from there to general events. Our approach is algebraic in the sense that it relies on an equivalence relation over the set of events and uncertainty is expressed with variables and polynomial expressions. We illustrate our methods with two examples, one of which shows a connection to bayesian networks.

Resumo (pdf):

Em Anexo.