Enhancing induction in a contraction free logic with unrestricted abstraction: from $\mathbf {Z}$ to $\mathbf {Z}_2$.
Uwe PetersenPublished in: Arch. Math. Log. (2022)
Keyphrases
- high level
- machine learning
- proof search
- program synthesis
- predicate logic
- real time
- horn logic
- intuitionistic logic
- functional programs
- inductive learning
- inductive inference
- rule induction
- sound and complete axiomatization
- constructive induction
- multi valued
- modal logic
- expressive power
- logic programming
- search algorithm
- multi agent
- databases