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 - MaRDI portal

scientific article

From MaRDI portal

Publication:3358719

Jump to:navigation, search

zbMath0732.03027MaRDI QIDQ3358719

Jia-Huai You, Li Yan Yuan

Publication date: 1990

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

zbMATH Keywords

nonmonotonic reasoning circumscription deductive databases stable model semantics logic programming with negation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17) Other applications of logic (03B80)

Related Items

A three-valued semantics for deductive databases and logic programs

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