Login / Signup
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators.
Toshiyasu Arai
Published in:
Ann. Pure Appl. Log. (2010)
Keyphrases
</>
inductive learning
first order logic
higher order
building blocks
theorem proving
machine learning
formal proof
image processing
evolutionary algorithm
horn clauses
aggregation operators
inductive reasoning