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:3348894

Jump to:navigation, search

zbMath0727.03017MaRDI QIDQ3348894

No author found.

Publication date: 1989

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

zbMATH Keywords

disjunctive information weak implication deduction theorems default ionic logic default transformation extended default logic monotonic reasoning nested defaults normal versus non-normal defaults proof theory of default reasoning

Mathematics Subject Classification ID

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

Related Items (2)

A sequent calculus for skeptical Default Logic ⋮ Sequent calculi for default and autoepistemic logics

This page was built for publication:

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