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

scientific article; zbMATH DE number 6139990

From MaRDI portal

Publication:4906888

Jump to:navigation, search

zbMATH Open1269.68093MaRDI QIDQ4906888

Michael Gelfond

Publication date: 28 February 2013

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

zbMATH Keywords

logic programs logic programming stable models semantics CR-Prolog answer set Prolog

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (1)

Logic, accountability and design (extended abstract)

This page was built for publication:

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