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

scientific article; zbMATH DE number 1301756

From MaRDI portal

Publication:4246971

Jump to:navigation, search

zbMath0928.03027MaRDI QIDQ4246971

Tomi Janhunen

Publication date: 16 June 1999

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

zbMATH Keywords

computational complexity autoepistemic logic default logic modularity faithfulness nonmonotonic logics relative expressive power priority logic

Mathematics Subject Classification ID

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

Related Items (5)

General default logic ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Propositional default logics made easier: computational complexity of model checking. ⋮ Evaluating the effect of semi-normality on the expressiveness of defaults

This page was built for publication:

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