Propositional information systems
From MaRDI portal
Publication:4934810
DOI10.1093/logcom/9.5.651zbMath0941.03030OpenAlexW2114212951MaRDI QIDQ4934810
Rolf Haenni, Serafín Moral, Jürg Kohlas
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
decompositionpropositional logicinformation systemsdistributed computingmarginalizationlocal computationsvaluation networksassumption-based reasoningpropositional knowledge basesorganization of deduction
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)
Related Items
Ordered valuation algebras: A generic framework for approximating inference ⋮ Semiring induced valuation algebras: exact and approximate local computation algorithms ⋮ Resource bounded and anytime approximation of belief function computations. ⋮ Generic local computation ⋮ On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras ⋮ Partition-based logical reasoning for first-order and propositional theories ⋮ How to deal with unbelievable assertions ⋮ Uncertain information: random variables in graded semilattices ⋮ Cost-bounded argumentation ⋮ A belief function classifier based on information provided by noisy and dependent features ⋮ An algebraic theory for statistical information based on the theory of hints ⋮ Embedding Logics in the Local Computation Framework ⋮ Information Algebra ⋮ Non-locality, contextuality and valuation algebras: a general theory of disagreement ⋮ Conditional independence in propositional logic.
