aquemy / HCBR
Hypergraph Case-Based Reasoning
☆11Updated 6 years ago
Related projects: ⓘ
- PyTorch library for synthesizing programs from natural language☆18Updated last month
- Tracking Of Agent (actions and belief) and Spatio-TEmporal Reasoning☆14Updated 4 years ago
- Implementation of generative semantic grammar.☆17Updated 2 years ago
- Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.☆55Updated 5 months ago
- Probabilistic Itemset Mining☆19Updated 8 years ago
- Tuffy, a Markov Logic Network solver☆23Updated 9 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 5 years ago
- An experimental game☆18Updated 8 years ago
- Create and run detailed neural simulations☆96Updated 3 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆26Updated last year
- Incremental Learning Event Definitions☆13Updated 9 years ago
- A Temporal Networks Library written in Python☆12Updated 2 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆10Updated 2 years ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- Program synthesis☆12Updated 8 years ago
- Conditional Associative Logic Memory☆27Updated 6 years ago
- A framework for building reranking models.☆30Updated 9 years ago
- FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.☆13Updated 8 years ago
- General Purpose C++ Implementation for Inference and Learning in Bayesian and Markov Networks☆15Updated 5 years ago
- A dynamic programming toolkit.☆39Updated 9 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Updated 7 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆22Updated 8 months ago
- ☆34Updated 3 months ago
- Public source code for AnimatLab neuromechanical simulator system☆14Updated 7 years ago
- NLP functionality on top of the Sigma system☆16Updated 2 weeks ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year
- Python library for declarative, constrained, structured-output prediction.☆21Updated 11 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- Scripts for building and deploying ConceptNet, using Packer and Puppet☆10Updated 3 years ago
- Knowledge Acquisition Logic Machine☆16Updated 5 years ago