Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1341465 - MaRDI portal

scientific article; zbMATH DE number 1341465

From MaRDI portal

Publication:4263004

Jump to:navigation, search

zbMath0934.03018MaRDI QIDQ4263004

Jérôme Mengin, Nic Wilson

Publication date: 25 April 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Bayesian networks theorem proving first-order logic commonsense reasoning model structures local computation circumscription computation of logical deduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Mechanization of proofs and logical operations (03B35)

Related Items (7)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4263004&oldid=18170496"