Login / Signup

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.

Frantisek FarkaEkaterina KomendantskayaKevin Hammond
Published in: Theory Pract. Log. Program. (2018)
Keyphrases
  • horn clauses
  • first order logic
  • inference rules
  • logic programs
  • inductive logic programming
  • conceptual clustering
  • database
  • information retrieval
  • theorem proving
  • training data
  • theorem prover
  • database queries