Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems.

Stefan Ratschan

Published in: Algorithmic Algebra and Logic (2005)

Keyphrases

hybrid systems
real numbers
np complete
meta learning
black box
intelligent systems
neural network
artificial intelligence
genetic algorithm
decision making
fuzzy logic
computational intelligence
soft computing
search problems