Notes on Bounded Induction for the Compositional Truth Predicate.

Bartosz Wcislo Mateusz Lelyk

Published in: Rev. Symb. Log. (2017)

Keyphrases

first order logic
concept formation
inductive logic programming
machine learning
inductive learning
discovery process
rule induction
note taking
database
program synthesis
version space
inductive inference
fuzzy logic
active learning
search algorithm
feature selection
databases