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

scientific article; zbMATH DE number 6261528

From MaRDI portal

Publication:5398043

Jump to:navigation, search

DOI10.4230/LIPICS.ICLP.2012.61zbMath1281.68149MaRDI QIDQ5398043

Joohyung Lee, Yunsong Meng

Publication date: 25 February 2014

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

zbMATH Keywords

answer set programming generalized quantifiers stable model semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55)

This page was built for publication:

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