Making default inferences from logic programs.
Liwu LiJia-Huai YouPublished in: Comput. Intell. (1991)
Keyphrases
- logic programs
- logic programming
- logic programs with negation
- fixpoint
- answer sets
- stable models
- answer set programming
- background knowledge
- prolog programs
- term rewriting systems
- inductive logic programming
- computational properties
- strong equivalence
- logic programming language
- answer set programs
- loop formulas
- partial deduction
- horn clauses
- normal logic programs
- functional programs