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
Computationally hard problems for logic programs under answer set semantics - MaRDI portal

Computationally hard problems for logic programs under answer set semantics

From MaRDI portal

Publication:6636616

Jump to:navigation, search

DOI10.1145/3676964MaRDI QIDQ6636616

Zhao, Xishun, Yuping Shen

Publication date: 12 November 2024

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

zbMATH Keywords

propositional formulas logic programs exponential lower bound succinctness answer set semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Computationally hard problems for logic programs under answer set semantics

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