friguzzi/cplint_datasets friguzzi/cplint_datasets

  • Stars
    star
    4
  • Rank 3,252,066 (Top 65 %)
  • Language
    Prolog
  • License
    Artistic License 2.0
  • Created over 7 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
friguzzi/cplint_datasets
github

friguzzi

Reviews

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

Repository Details

Datasets for cplint

More Repositories

1

cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Prolog
64
star
2

aleph

Port of Aleph to SWI-Prolog
Prolog
41
star
3

trill-on-swish

The Trill probabilistic ontology reasoner on SWISH
Prolog
12
star
4

matrix

Operations with matrices, SWI pack
Prolog
10
star
5

bddem

bddem is a SWI-Prolog pack for using Binary Decision Diagrams
C
9
star
6

plp-slides

Slides for the book Foundations of Probabilistic Logic Programming
TeX
5
star
7

auc

Library for computing the Area Under the Receiving Operating Characteristics and Precision Recall curves
Prolog
3
star
8

pascal

Probabilistic inductive constraint logic
Prolog
3
star
9

trill_on_swish

Cliopatria pack for trill
Prolog
2
star
10

mpi

Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
C
1
star
11

xsb-pita-docker

xsb with pita docker image
Dockerfile
1
star
12

lbfgs

An interface to call libLBFGS from within SWI-Prolog
C
1
star
13

aixia-research

Code for analyzing the research of AI*IA members
Python
1
star
14

lam_mpi

Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
C
1
star
15

quantum_counting

Jupyter Notebook
1
star