Toward a logic for numerical approximations.
Regivan Hugo Nunes SantiagoBenedito Melo AciólyPublished in: RITA (1996)
Keyphrases
- numerical methods
- logic programming
- classical logic
- modal logic
- multi valued
- qualitative and quantitative
- closed form
- sensitivity analysis
- predicate logic
- data sets
- computationally tractable
- computational properties
- multi agent
- case study
- image processing
- information systems
- search engine
- artificial intelligence
- neural network