A Framework for Incremental Learning of Logic Programs.
M. R. K. Krishna RaoPublished in: Theor. Comput. Sci. (1997)
Keyphrases
- logic programs
- incremental learning
- logic programming
- abductive logic programming
- stable models
- answer sets
- abductive reasoning
- background knowledge
- answer set programming
- inductive logic programming
- fixpoint
- computational properties
- incremental learning algorithm
- fuzzy artmap
- monotonicity constraints
- strong equivalence
- partial deduction
- finite state machines
- metadata
- normal logic programs