Quasi-decidability of a Fragment of the First-order Theory of Real Numbers.
Peter FranekStefan RatschanPiotr ZgliczynskiPublished in: CoRR (2013)
Keyphrases
- real numbers
- quantifier free
- interval arithmetic
- fuzzy numbers
- linear inequalities
- theoretical framework
- arithmetic operations
- computer vision
- quantifier elimination
- description logics
- real time
- constraint solver
- genetic algorithm
- pattern recognition
- higher order
- linear programming
- first order logic
- knowledge base
- decision making
- rewrite systems
- machine learning