Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs.

Matti Järvisalo Emilia Oikarinen

Published in: ICLP (2007)

Keyphrases

normal logic programs
answer set programming
logic programs
stable model semantics
answer sets
stable models
logic programming
answer set semantics
databases
default reasoning
reasoning tasks
association rules
functional dependencies
information systems
fixpoint
modal logic
artificial intelligence
machine learning