Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs.

Stefano Berardi Makoto Tatsuta

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

outlier detection
machine learning
inductive learning
image processing
theorem proving
fixed point semantics
real time
formal proofs
detect outliers
deductive reasoning
inductive reasoning
black and white
inductive inference
inductive logic programming
detection algorithm
bayesian networks
neural network