Partial Deduction of Disjunctive Logic Programs: A Declarative Approach.
Chiaki SakamaHirohisa SekiPublished in: LOPSTR (1994)
Keyphrases
- partial deduction
- logic programs
- disjunctive logic programs
- logic programming
- answer set programming
- stable model semantics
- stable models
- answer sets
- minimal models
- fixpoint
- answer set semantics
- knowledge representation
- disjunctive logic programming
- horn clauses
- high level
- reasoning tasks
- artificial intelligence
- nonmonotonic reasoning
- software engineering
- expert systems