Generic local computation

DOI10.1016/J.JCSS.2011.05.012zbMATH Open1255.68156OpenAlexW2095255001MaRDI QIDQ414892FDOQ414892

Cesar Schneuwly, Marc Pouly, Jürg Kohlas

Publication date: 11 May 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.05.012

zbMATH Keywords

local computationgeneric computationhypertree decompositionjoin treesvaluation algebras

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Database theory (68P15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probability functions on complex pedigrees
• Probabilistic Networks and Expert Systems
• Local computation with valuations from a commutative semigroup
• A comparison of structural CSP decomposition methods
• Demi-groupes inversifs et demi-groupes réunions de demi-groupes simples
• Hypertree decompositions and tractable queries
• The complexity of acyclic conjunctive queries
• Valuation-Based Systems for Bayesian Decision Analysis
• A mathematical theory of hints. An approach to the Dempster-Shafer theory of evidence
• Bucket elimination: A unifying framework for reasoning
• Conjunctive query containment revisited
• Binary join trees for computing marginals in the Shenoy-Shafer architecture
• Computation in valuation algebras
• Propositional information systems
• On decompositions of a commutative semigroup

Cited In (11)

• What Can be Computed Locally?
• Gödel, Escher, Bell: contextual semantics of logical paradoxes
• Marginalization in models generated by compositional expressions
• A mathematical theory of evidence turns 40
• On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras
• Computation in valuation algebras
• Semantics for local computational effects
• An algebraic theory for data linkage
• Title not available (Why is that?)
• Sufficient and necessary conditions for solution finding in valuation-based systems
• Expressive efficiency of two kinds of specific CP-nets

This page was built for publication: Generic local computation

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