Open Sources

Softwares

• DFOL: Learning first-order logic programs from relational datasets, including the knowledge graph and synthesis relational facts.
  • Based on TensorFlow
  • Scalable
  • Precise
  • Robust
  • Computation-cheap
  • No GPU requirements
• D-LFIT: Learning propositional logic programs from attribute-valued datasets, including cellular automata, table row data, etc.
  • Based on TensorFlow
  • Precise
  • Robust
  • Fast
  • Computation-cheap
  • No GPU requirements.