Keyphrases
- stable models
- logic programming
- logic programs
- answer set programs
- loop formulas
- background knowledge
- normal logic programs
- answer set programming
- horn clauses
- stable model semantics
- general theory
- deductive databases
- fixpoint
- search space
- first order logic
- nonmonotonic reasoning
- model theoretic
- knowledge representation
- valued logic
- logic programs with negation
- reasoning tasks
- answer sets
- propositional theories
- knowledge base
- classical logic
- knowledge representation and reasoning
- probabilistic reasoning
- inductive logic programming
- belief revision
- programming language
- semantics for logic programs
- expert systems