Project Group: it.unife.ml

BUNDLE

it.unife.ml : bundle

BUNDLE is a reasoner for probabilistic description logics.

Last Version: 3.0.3

Release Date: Nov 7, 2019

BDD Libraries

it.unife.ml : bdd-libraries

Jar containing shared libraries for building and using Binary Decision Diagrams (BDDs)

Last Version: 1.1

Release Date: Sep 6, 2019

ECLIiPSe Java Interface

it.unife.ml : eclipse

Java Interface for ECLIiPSe Prolog.

Last Version: 7.1

Release Date: Apr 18, 2019