Full and hat inductive definitions are equivalent in NBG.

Published in: Arch. Math. Log. (2015)

Keyphrases

precise definition
machine learning
inductive inference
inductive reasoning
feature selection
decision making
cooperative
multi agent systems
domain knowledge
knowledge representation
inductive logic programming
equivalence class