Extended ASP tableaux and rule redundancy in normal logic programs

Matti Järvisalo Emilia Oikarinen

Published in: CoRR (2008)

Keyphrases

normal logic programs
answer set programming
logic programs
answer sets
stable model semantics
answer set semantics
stable models
logic programming
default reasoning
databases
decision procedures
modal logic
knowledge representation and reasoning
information systems
general purpose
functional dependencies