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