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