The Defining Power of Stratified and Hierarchical Logic Programs.
Gerhard JägerRobert F. StärkPublished in: J. Log. Program. (1993)
Keyphrases
- logic programs
- logic programming
- answer set programming
- fixpoint
- stable models
- answer sets
- background knowledge
- term rewriting systems
- normal logic programs
- inductive logic programming
- computational properties
- prolog programs
- declarative semantics
- logic program updates
- partial deduction
- recursive programs
- stable model semantics
- answer set semantics
- strong equivalence
- answer set programs
- reasoning tasks
- loop formulas
- horn clauses
- nonmonotonic reasoning