Keyphrases
- stable models
- logic programs
- logic programming
- inductive logic programming
- normal logic programs
- answer set programming
- general theory
- fixpoint
- stable model semantics
- machine learning
- deductive databases
- logic programs with negation
- answer set programs
- background knowledge
- answer sets
- loop formulas
- databases
- derivation rules
- knowledge representation
- relational databases
- expert systems
- semantics for logic programs
- artificial intelligence