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
Interval-valued probabilistic logic for a class of Horn clauses - MaRDI portal

Interval-valued probabilistic logic for a class of Horn clauses

From MaRDI portal

Publication:1388210

Jump to:navigation, search

zbMath0902.03010MaRDI QIDQ1388210

Ha Dang Cao Tung

Publication date: 10 December 1998

Published in: Vietnam Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

consistency Horn clauses entailment linear programming approach probabilistic evaluation of truth value

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Many-valued logic (03B50)

This page was built for publication: Interval-valued probabilistic logic for a class of Horn clauses

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