Semantics of (disjunctive) Logic Programs Based on Partial Evaluation.
Stefan BrassJürgen DixPublished in: J. Log. Program. (1999)
Keyphrases
- partial evaluation
- disjunctive logic programs
- logic programming
- explanation based generalization
- answer set programming
- disjunctive logic programming
- logic programs
- polynomial hierarchy
- stable model semantics
- default logic
- minimal models
- stable models
- answer sets
- nonmonotonic reasoning
- inductive logic programming
- knowledge base
- answer set semantics
- knowledge representation
- programming language
- deductive databases
- xpath queries
- propositional logic
- classical logic
- autoepistemic logic
- databases
- semantic information
- fixpoint
- nonmonotonic logics
- case based reasoning
- expert systems
- training data
- background knowledge