Software

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

Probabilistic Logic Programming

• cplint: a suite of programs for answering queries from the Independent Choice Logic, Logic Programs with Annotated Disjunctions and CP-logic programs, containing:
  • acplint
  • PITA
  • RIB
  • EMBLEM
  • SLIPCASE
  • SLIPCOVER
  • SEMPRE
  • LEMUR
  • PDPM
• LP²: Lifted Probabilistic Logic Programming.
• LIFTCOVER: LIFTed slipCOVER
• PHIL: Parameter learning for HIerarchical probabilistic Logic programs

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, TRILL^P & TORNADO

Deep Learning | Neural-Symbolic Integration

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