most citedExtended ASP tableaux and rule redundancy in normal logic programs

5 citations · 5 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2008★ 5 cited

Extended ASP tableaux and rule redundancy in normal logic programs

Matti Järvisalo, Emilia Oikarinen

We introduce an extended tableau calculus for answer set programming (ASP). The proof system is based on the ASP tableaux defined in [Gebser&Schaub, ICLP 2006], with an added exten…