Extended ASP Tableaux and rule redundancy in normal logic programs.
Matti JärvisaloEmilia OikarinenPublished in: Theory Pract. Log. Program. (2008)
Keyphrases
- normal logic programs
- answer set programming
- logic programs
- stable models
- answer sets
- logic programming
- stable model semantics
- answer set semantics
- default reasoning
- modal logic
- natural language
- reasoning tasks
- production rules
- decision procedures
- fixpoint
- nonmonotonic reasoning
- propositional logic
- semantic web
- association rules