friguzzi/aleph

Stars
43
Rank 645,449 (Top 13 %)
Language
Prolog
Created over 9 years ago
Updated 10 months ago

friguzzi/aleph

friguzzi

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Port of Aleph to SWI-Prolog

cplint

cplint is a suite of programs for reasoning with probabilistic logic programs

matrix

Operations with matrices, SWI pack

trill-on-swish

The Trill probabilistic ontology reasoner on SWISH

bddem

bddem is a SWI-Prolog pack for using Binary Decision Diagrams

plp-slides

Slides for the book Foundations of Probabilistic Logic Programming

cplint_datasets

Datasets for cplint

auc

Library for computing the Area Under the Receiving Operating Characteristics and Precision Recall curves

pascal

Probabilistic inductive constraint logic

trill_on_swish

Cliopatria pack for trill

mpi

Porting of the LAMMPI library of Yap Prolog to SWI-Prolog

xsb-pita-docker

xsb with pita docker image

lbfgs

An interface to call libLBFGS from within SWI-Prolog

aixia-research

Code for analyzing the research of AI*IA members

lam_mpi

Porting of the LAMMPI library of Yap Prolog to SWI-Prolog

quantum_counting

Jupyter Notebook