The logic of secrets and the interpolation rule.
Zuojun XiongThomas ÅgotnesPublished in: Ann. Math. Artif. Intell. (2023)
Keyphrases
- rule engine
- logic programming
- multi valued
- active rules
- rule sets
- modal logic
- classical logic
- image interpolation
- predicate logic
- active databases
- interpolation method
- rule learning
- linear interpolation
- rule discovery
- automated reasoning
- piecewise polynomial
- proof theory
- information systems
- formal theory
- computational properties
- association rules
- knowledge base