Login / Signup

-derivations.

Daniel Max HoffmannPiotr Kowalski
Published in: J. Lond. Math. Soc. (2016)
Keyphrases
  • inference rules
  • machine learning
  • prior knowledge
  • temporal logic