Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays.
Ruggero LanottePublished in: J. Autom. Lang. Comb. (2007)
Keyphrases
- expressive power
- hybrid systems
- integer variables
- continuous variables
- first order logic
- black box
- meta learning
- intelligent systems
- query language
- computational intelligence
- discrete event
- branch and bound algorithm
- artificial intelligence
- knapsack problem
- network design problem
- soft computing
- objective function
- neural network
- mixed integer
- dynamic systems
- databases
- random variables
- knowledge representation
- special case