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

Jump to:navigation, search

zbMath1226.68016MaRDI QIDQ3100241

Nicola Leone, Gelsomina Catalano, Simona Perri

Publication date: 23 November 2011

Full work available at URL: https://www.mat.unical.it/ASPOCP08/

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

zbMATH Keywords

answer set programming (ASP)DLV instantiator instantiation process

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

The Intelligent Grounder of DLV ⋮ Lpopt: a rule optimization tool for answer set programming

Uses Software

This page was built for publication:

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