Correction to: The logic of secrets and the interpolation rule.
Zuojun XiongThomas ÅgotnesPublished in: Ann. Math. Artif. Intell. (2023)
Keyphrases
- modal logic
- rule engine
- logic programming
- image interpolation
- interpolation methods
- nonmonotonic logics
- automated reasoning
- linear interpolation
- classical logic
- rule learning
- rule language
- active databases
- logical rules
- error correction
- inference rules
- sparse sampling
- micron cmos
- proof theory
- distortion correction
- data sets
- epistemic logic
- computational properties
- error detection
- multi valued
- rule induction
- sensitive information
- association rules
- search engine