Annotation of Logic Programs for Independent AND-Parallelism by Partial Evaluation
Germán VidalPublished in: CoRR (2012)
Keyphrases
- logic programs
- partial evaluation
- logic programming
- explanation based generalization
- fixpoint
- answer sets
- stable models
- background knowledge
- answer set programming
- computational properties
- inductive logic programming
- normal logic programs
- deductive databases
- stable model semantics
- database
- partial deduction
- logic program updates
- semantic annotation
- active learning
- prolog programs
- metadata
- case based reasoning
- domain knowledge
- prior knowledge
- relational databases
- monotonicity constraints
- learning algorithm