Semiring-Induced Propositional Logic: Definition and Basic Algorithms.

Javier Larrosa, Albert Oliveras, Enric Rodrguez-Carbonell

Browse the full LPAR paper archive.