Keyphrases
- optimization process
- optimization algorithm
- optimization problems
- logic programming
- discrete optimization
- defeasible logic
- network design
- optimization methods
- sound and complete axiomatization
- real time
- global optimization
- optimization method
- modal logic
- network analysis
- constrained optimization
- social networks
- heterogeneous networks
- automated reasoning
- classical logic
- genetic algorithm
- set theory
- neural network
- data sets