Login / Signup

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs.

Matti JärvisaloEmilia Oikarinen
Published in: ICLP (2007)
Keyphrases