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

scientific article; zbMATH DE number 517024

From MaRDI portal

Publication:4282551

Jump to:navigation, search

zbMath0792.68018MaRDI QIDQ4282551

Jürgen Dix

Publication date: 17 April 1994

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

zbMATH Keywords

floating conclusions semantics for logic programs with negation cumulative monotony nomonotonic entailment

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Cumulativity Tailored for Nonmonotonic Reasoning

This page was built for publication:

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