A Co-inductive Approach to Real Numbers.
Alberto CiaffaglionePietro Di GianantonioPublished in: TYPES (1999)
Keyphrases
- real numbers
- arithmetic operations
- interval arithmetic
- inductive learning
- fuzzy numbers
- linear inequalities
- inductive inference
- ordered fuzzy numbers
- deductive reasoning
- constraint solver
- inductive reasoning
- machine learning
- concept learning
- knowledge representation
- artificial neural networks
- data sets
- inductive logic programming
- computer vision