Evolutionary Program Induction Directed by Logic Grammars.
Man Leung WongKwong-Sak LeungPublished in: Evol. Comput. (1997)
Keyphrases
- functional programs
- program synthesis
- recursive programs
- grammar induction
- computer programs
- natural language
- evolutionary optimization
- logic programming
- evolutionary computation
- rule induction
- context free grammars
- natural language processing
- logic programs
- automated reasoning
- genetic algorithm
- grammatical inference
- proof search
- declarative semantics
- logical framework
- predicate logic
- formal language
- classical logic
- inductive learning
- knowledge base