Abstract

We will show how Semiring have been introduced in the CSP and argumentation formalism. How such algebraic structure can capture important extensions of the two framework and in particular how to move from finding a solution of the problem to find an optimum.

Attachment

Video Recording