-normal and extended stratified logic program.
Daoyun XuDecheng DingPublished in: Sci. China Ser. F Inf. Sci. (2002)
Keyphrases
- logic programs
- logic programming
- answer sets
- answer set programming
- stable models
- fixpoint
- logic program updates
- background knowledge
- inductive logic programming
- normal logic programs
- inside outside algorithm
- stable model semantics
- computational properties
- general logic programs
- prolog programs
- deductive databases
- counter examples
- partial deduction
- logic programming language
- fixpoint semantics
- horn clauses
- reasoning tasks