friguzzi/xsb-pita-docker friguzzi/xsb-pita-docker

  • Stars
    star
    1
  • Language
    Dockerfile
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
friguzzi/xsb-pita-docker
github

friguzzi

Reviews

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

Repository Details

xsb with pita docker image

More Repositories

1

cplint

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

aleph

Port of Aleph to SWI-Prolog
Prolog
43
star
3

matrix

Operations with matrices, SWI pack
Prolog
12
star
4

trill-on-swish

The Trill probabilistic ontology reasoner on SWISH
Prolog
12
star
5

bddem

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

plp-slides

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

cplint_datasets

Datasets for cplint
Prolog
4
star
8

auc

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

pascal

Probabilistic inductive constraint logic
Prolog
3
star
10

trill_on_swish

Cliopatria pack for trill
Prolog
2
star
11

mpi

Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
C
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