friguzzi/aleph friguzzi/aleph

  • Stars
    star
    41
  • Rank 656,423 (Top 14 %)
  • Language
    Prolog
  • Created almost 9 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
friguzzi/aleph
github

friguzzi

Reviews

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

Repository Details

Port of Aleph to SWI-Prolog

More Repositories

1

cplint

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

trill-on-swish

The Trill probabilistic ontology reasoner on SWISH
Prolog
12
star
3

matrix

Operations with matrices, SWI pack
Prolog
10
star
4

bddem

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

plp-slides

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

cplint_datasets

Datasets for cplint
Prolog
4
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