Sciweavers

ICLP
2007
Springer

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

13 years 9 months ago
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
Matti Järvisalo, Emilia Oikarinen
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICLP
Authors Matti Järvisalo, Emilia Oikarinen
Comments (0)