Keyphrases
- logic programs
- logic programming
- derivation rules
- stable model semantics
- stable models
- fixpoint
- answer set programming
- closed world
- answer sets
- computational properties
- inductive logic programming
- horn clauses
- normal logic programs
- background knowledge
- prolog programs
- partial deduction
- extended logic programs
- answer set semantics
- declarative semantics
- magic sets
- deductive databases
- fixpoint semantics
- recursive programs
- logic program updates
- open world
- functional programs
- autoepistemic logic
- strong equivalence
- loop formulas
- knowledge representation and reasoning
- semantics for logic programs
- default reasoning
- semantics of logic programs
- term rewriting systems