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

scientific article; zbMATH DE number 1390354

From MaRDI portal

Publication:4934646

Jump to:navigation, search

zbMath0938.03046MaRDI QIDQ4934646

Marc Denecker, Miroslaw Truszczynski, Victor W. Marek

Publication date: 22 March 2000

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

zbMATH Keywords

nonmonotonic logic autoepistemic logic constructive semantics least fixpoint semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (2)

Ultimate approximation and its application in nonmonotonic knowledge representation systems ⋮ Uniform semantic treatment of default and autoepistemic logics

This page was built for publication:

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