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

scientific article; zbMATH DE number 549992

From MaRDI portal

Publication:4287511

Jump to:navigation, search

zbMath0789.68130MaRDI QIDQ4287511

Ilkka Niemelä

Publication date: 12 April 1994

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

zbMATH Keywords

knowledge representation autoepistemic logic decidability nonmonotonic reasoning

Mathematics Subject Classification ID

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

Related Items (5)

A decision method for nonmonotonic reasoning based on autoepistemic reasoning ⋮ On the parameterized complexity of non-monotonic logics ⋮ General default logic ⋮ On the computational complexity of assumption-based argumentation for default reasoning. ⋮ Propositional default logics made easier: computational complexity of model checking.

This page was built for publication:

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