Propositional information systems

DOI10.1093/LOGCOM/9.5.651MaRDI QIDQ4934810zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(18)

• Information Algebra
• 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?
• A belief function classifier based on information provided by noisy and dependent features
• Partition-based logical reasoning for first-order and propositional theories
• 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
• Resource bounded and anytime approximation of belief function computations.
• Semiring induced valuation algebras: exact and approximate local computation algorithms
• 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.
• 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)