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
Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited - MaRDI portal

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

From MaRDI portal

Publication:2883081

Jump to:navigation, search

DOI10.4230/LIPICS.ICLP.2010.94zbMath1237.68206OpenAlexW1863636468MaRDI QIDQ2883081

Tomi Janhunen

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_7d82.html

zbMATH Keywords

translation stable models choice rules abstract constraints program reduction

Mathematics Subject Classification ID

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

This page was built for publication: Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

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