reasoned-ai / norm
Neural Logic Programming Language
☆9Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for norm
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆24Updated 3 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆16Updated 7 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 5 years ago
- Implementation of the conceptual spaces framework.☆27Updated last year
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Relational data mining in python☆31Updated last year
- LIDA Software Framework☆10Updated 9 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 6 years ago
- Port of Aleph to SWI-Prolog☆44Updated 9 months ago
- RockIt: A query engine for Markov logic☆11Updated 8 years ago
- ☆42Updated 7 years ago
- Small examples showing how to use Odin for various IE tasks☆16Updated 7 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆61Updated last year
- Python library for declarative, constrained, structured-output prediction.☆21Updated last year
- NLP functionality on top of the Sigma system☆16Updated this week
- Adaptive Neuro-Symbolic Network Agent☆35Updated 2 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated 9 months ago
- LoMRF is an open-source implementation of Markov Logic Networks☆80Updated 2 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated last year
- Implementation of generative semantic grammar.☆17Updated 2 years ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆26Updated last year
- First-order knowledge compilation for lifted probabilistic inference☆11Updated 7 years ago
- Causal programming in Clojure☆26Updated 3 years ago
- Hubness-aware machine learning library.☆14Updated 9 years ago