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
Answer set programs with queries over subprograms - MaRDI portal

Answer set programs with queries over subprograms

From MaRDI portal

Publication:2401932

Jump to:navigation, search

DOI10.1007/978-3-319-61660-5_15zbMath1491.68046OpenAlexW2727361336MaRDI QIDQ2401932

Christoph Redl

Publication date: 5 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-61660-5_15

zbMATH Keywords

nonmonotonic reasoning saturation answer-set programming meta-programming FLP semantics

Mathematics Subject Classification ID

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

Related Items (1)

Solving Advanced Argumentation Problems with Answer Set Programming

This page was built for publication: Answer set programs with queries over subprograms

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