Garis besar topik
-
-
- Representation scheme used Logic Program
- Horn Clauses and Entailment
- Logic Programs in ILP
- Prior Conditions on the Problem
- Posterior Conditions on Hypothesis
- Problem Specification
- Moving in Logic Program Space
- Inverting Deductive Rules
- Inverting Resolution
- Generic Search Strategy
- Search (Extra Logical) Considerations Generality and Speciality
- Search Direction
- Pruning
- Ordering
- Language Restrictions
-