Keyphrases
- genetic algorithm ga
- genetic algorithm
- multi modal
- hybrid genetic algorithm
- modal logic
- classical logic
- automated reasoning
- artificial neural networks
- logic programming
- metaheuristic
- fitness function
- penalty function
- fitness landscape
- optimization method
- evolutionary computation
- multi objective
- artificial intelligence
- hybrid ga
- sound and complete axiomatization
- hybrid particle swarm optimization
- epistemic logic
- data sets
- predicate logic
- hybrid algorithm
- natural language
- learning algorithm
- neural network