Login / Signup

Left-Linear Completion with AC Axioms.

Johannes NiederhauserNao HirokawaAart Middeldorp
Published in: CADE (2023)
Keyphrases
  • machine learning
  • computer vision
  • knowledge base
  • relational databases
  • linear constraints