Propositional information systems

DOI10.1093/LOGCOM/9.5.651zbMATH Open0941.03030OpenAlexW2114212951MaRDI QIDQ4934810FDOQ4934810

Authors: Jürg Kohlas, R. Haenni, Serafin Moral 

Publication date: 31 July 2000

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: http://doc.rero.ch/record/302534/files/090651.pdf

Recommendations

• scientific article; zbMATH DE number 1341465
• scientific article; zbMATH DE number 4152343
• scientific article; zbMATH DE number 4066840
• A simple algorithm for deduction
• Publication:3028979

zbMATH Keywords

decompositiondistributed computinginformation systemslocal computationspropositional logicmarginalizationvaluation networksassumption-based reasoningpropositional knowledge basesorganization of deduction

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Cited In (18)

• Embedding Logics in the Local Computation Framework
• Non-locality, contextuality and valuation algebras: a general theory of disagreement
• Cost-bounded argumentation
• The enduring scandal of deduction. Is propositional logic really uninformative?
• Partition-based logical reasoning for first-order and propositional theories
• A belief function classifier based on information provided by noisy and dependent features
• A simple algorithm for deduction
• Ordered valuation algebras: A generic framework for approximating inference
• Generic local computation
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• Semiring induced valuation algebras: exact and approximate local computation algorithms
• Resource bounded and anytime approximation of belief function computations.
• Uncertain information: random variables in graded semilattices
• On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras
• An algebraic theory for statistical information based on the theory of hints
• Conditional independence in propositional logic.
• Information Algebra
• How to deal with unbelievable assertions

This page was built for publication: Propositional information systems

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