On Deductive Interpolation for the Weak Nilpotent Minimum logic.
Enrico MarchioniPublished in: Fuzzy Sets Syst. (2016)
Keyphrases
- deductive reasoning
- logic programming
- classical logic
- abductive inference
- minimum cost
- object oriented
- programming language
- automated reasoning
- multi valued
- linear interpolation
- database languages
- genetic algorithm
- hypothesis formation
- functional programs
- information systems
- database language
- formal theory
- interpolation methods
- predicate logic
- image interpolation
- databases
- knowledge base
- modal logic