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
An abductive approach to disjunctive logic programming - MaRDI portal

An abductive approach to disjunctive logic programming

From MaRDI portal

Publication:4484725

Jump to:navigation, search

DOI10.1016/S0743-1066(99)00074-6zbMath0957.68016WikidataQ126781942 ScholiaQ126781942MaRDI QIDQ4484725

Jia-Huai You, Randy Goebel, Li Yan Yuan

Publication date: 25 March 2001

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic reasoning abductive reasoning disjunctive EK procedure regular extension semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Closed world assumption for disjunctive reasoning

This page was built for publication: An abductive approach to disjunctive logic programming

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