Semiring-Based Soft Constraint Solving and Argumentation

Stefano Bistarelli (University of Perugia) https://simons.berkeley.edu/talks/stefano-bistarelli-university-perugia-2023-11-13 Logic and Algebra for Query Evaluation 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.