friguzzi/cplint

Stars
68
Rank 457,643 (Top 10 %)
Language
Prolog
License
Other
Created about 10 years ago
Updated 10 months ago

friguzzi/cplint

friguzzi

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

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

aleph

Port of Aleph to SWI-Prolog

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