Semiring-induced propositional logic: definition and basic algorithms

DOI10.1007/978-3-642-17511-4_19MaRDI QIDQ3066107zbMATH OpenOpenAlexFDO

Authors Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell

Publication date 7 January 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17511-4_19

zbMATH Keywords

DPLLmarginalization problemsemiring

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Semiring-based constraint satisfaction and optimization
• A logical approach to efficient Max-SAT solving
• Constrained pseudo-propositional logic
• A Common Computational Framework for Semiring-based Argumentation Systems
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions

Cited in

(6)

• Logical semirings and their usage for construction of quick algorithms
• Filter-embedding semiring fusion for programming with MapReduce
• Semiring programming: a semantic framework for generalized sum product problems
• Algebraic model counting
• A flexible solver for finite arithmetic circuits
• Semiring reasoning frameworks in AI and their computational complexity

Describes a project that uses

Uses Software

• MiniMaxSat

This page was built for publication: Semiring-induced propositional logic: definition and basic algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066107)