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
An Answer Set Solver for non-Herbrand Programs: Progress Report - MaRDI portal

An Answer Set Solver for non-Herbrand Programs: Progress Report

From MaRDI portal

Publication:5398042

Jump to:navigation, search

DOI10.4230/LIPICS.ICLP.2012.49zbMath1281.68205OpenAlexW2260375960MaRDI QIDQ5398042

Marcello Balduccini

Publication date: 25 February 2014

Full work available at URL: https://doi.org/10.4230/LIPIcs.ICLP.2012.49

zbMATH Keywords

answer set programming knowledge representation and reasoning non-Herbrand functions answer set solving

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Uses Software

Clingcon

This page was built for publication: An Answer Set Solver for non-Herbrand Programs: Progress Report

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