Login / Signup
E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning.
Sorin Stratulat
Published in:
SCSS (2021)
Keyphrases
</>
machine learning
knowledge base
reasoning systems
analogical reasoning
neural network
database systems
bayesian networks
logic programs
first order logic
efficient implementation
inductive learning
concept learning
rule induction
model based reasoning