GitHub topics: problog
foxyseta/tree-sitter-prolog
Mirror of https://codeberg.org/foxy/tree-sitter-prolog. Refer to the original repository for issue tracking
Language: JavaScript - Size: 857 KB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 2

julianmendez/born
Bayesian Ontology Reasoner
Language: Java - Size: 4.27 MB - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 13 - Forks: 6

ML-KULeuven/problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Language: Python - Size: 18.4 MB - Last synced at: 28 days ago - Pushed at: about 2 months ago - Stars: 334 - Forks: 39

mmxgn/spacy-clausie 📦
Implementation of the ClausIE information extraction system for python+spacy
Language: Python - Size: 95.7 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 220 - Forks: 32

thiagopbueno/mdp-problog
MDP-ProbLog is a framework to represent and solve (infinite-horizon) MDPs specified by probabilistic logic programming.
Language: Python - Size: 634 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 4

julianmendez/jproblog
Java adapter for ProbLog
Language: Java - Size: 77.1 KB - Last synced at: 24 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 2

mmxgn/sprl-spacy 📦
Implementation of Spatial Role Labeling using the Spacy NLP framework.
Language: Python - Size: 43 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 19 - Forks: 0

spoturno/yahtzee-ai
AI implementation for playing Yahtzee, developed in Prolog, featuring deterministic and probabilistic strategies.
Language: Prolog - Size: 10.7 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

ichistmeinname/ProbabilisticProgrammingBenchmarks
Benchmarks for PFLP, a library for probabilistic programming in Curry, with comparisons to other probabilistic languages
Language: HTML - Size: 295 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

micheleFraccaroli/Symbolic_DNN-Tuner
Symbolic DNN-Tuner is a system to drive the training of a Deep Neural Network, analysing the performance of each training experiment and automatizing the choice of HPs to obtain a network with better performance.
Language: Python - Size: 20.9 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 3

computablefacts/decima 📦
Decima is a proof-of-concept Java implementation of the probabilistic logic programming language ProbLog.
Language: Java - Size: 481 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

TeamMilestone/problog-infra
Language: HCL - Size: 33.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

simply-logical/problog-book-template
A Jupyter Book template for interactive ProbLog documents
Language: Jupyter Notebook - Size: 3.23 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

VincentDerk/Paper-AC-Decisions-Learning 📦
The code used for the paper: Algebraic Circuits for Decision Theoretic Inference and Learning
Language: Prolog - Size: 11.8 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1

di-unipi-socc/SecFog
A tool for security assessment of multi-service IoT application deployment in the Fog.
Language: Prolog - Size: 167 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1

sowmya6598/knowledge-representation-reasoning
second cycle first semester
Language: Prolog - Size: 56.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

simply-logical/sphinx-problog
Interactive ProbLog code boxes for Sphinx and Jupyter Book.
Language: JavaScript - Size: 114 KB - Last synced at: 22 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1

thiagopbueno/markov-decision-programs
Representation and simulation of MDPs in ProbLog
Language: Jupyter Notebook - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
