Incremental Learning of Functional Logic Programs.
César FerriJosé Hernández-OralloM. José Ramírez-QuintanaPublished in: FLOPS (2001)
Keyphrases
- incremental learning
- logic programs
- logic programming
- stable models
- incremental learning algorithm
- fixpoint
- answer sets
- fuzzy artmap
- normal logic programs
- background knowledge
- answer set programming
- computational properties
- partial deduction
- supervised learning
- semi supervised
- knowledge representation
- horn clauses
- machine learning
- functional programs
- strong equivalence
- logic program updates