Skip to content

Software

Here is a list of the software implemented by our research group.

Probabilistic Logic Programming

Probabilistic Description Logics

  • DISPONTE: the probabilistic semantics used by our reasoners.
  • BUNDLE: a Semantic Web probabilistic reasoner.
  • EDGE: a parameter learning system for probabilistic description logics.
  • LEAP: a structure and parameter learning system for probabilistic description logics, contained in DL-Learner.
  • TRILL framework: TRILL, TRILLP & TORNADO

Deep Learning | Neural-Symbolic Integration

  • Symbolic DNN-Tuner: a system to drive the training of a Deep Neural Network exploiting symbolic tuning rules.