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
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM - MaRDI portal

Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM

From MaRDI portal

Publication:4593021

Jump to:navigation, search

DOI10.1017/S1471068415000034zbMath1379.68066OpenAlexW2027492839WikidataQ59259452 ScholiaQ59259452MaRDI QIDQ4593021

Andreas Pieris, Georg Gottlob, Marco Manna

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068415000034

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Cites Work

Combining decidability paradigms for existential rules

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