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
Applying Machine Learning Techniques to ASP Solving - MaRDI portal

Applying Machine Learning Techniques to ASP Solving

From MaRDI portal

Publication:5398041

Jump to:navigation, search

DOI10.4230/LIPIcs.ICLP.2012.37zbMath1281.68189OpenAlexW2143503680MaRDI QIDQ5398041

Francesco Ricca, Marco Maratea, Luca Pulina

Publication date: 25 February 2014

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

zbMATH Keywords

answer set programming automated algorithm selection multi-engine solvers

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

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