Login / Signup

Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.

Michael FinkReinhard PichlerHans TompitsStefan Woltran
Published in: LPNMR (2007)
Keyphrases