Keyphrases
- nonmonotonic reasoning
- stable models
- normal logic programs
- answer set programming
- formal semantics
- stable model semantics
- logic programs
- logic programming
- answer sets
- semantics of logic programs
- default logic
- association rules
- management system
- search space
- relational databases
- data analysis
- data structure
- e learning
- artificial intelligence