Publication:4263004
From MaRDI portal
zbMath0934.03018MaRDI QIDQ4263004
Publication date: 25 April 2000
Bayesian networkstheorem provingfirst-order logiccommonsense reasoningmodel structureslocal computationcircumscriptioncomputation of logical deduction
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Mechanization of proofs and logical operations (03B35)
Related Items
Semiring induced valuation algebras: exact and approximate local computation algorithms, Hybrid possibilistic networks, Generic local computation, Probabilistic argumentation systems. A new way to combine logic with probability., Uncertain information: random variables in graded semilattices, Information Algebra, Non-locality, contextuality and valuation algebras: a general theory of disagreement