aic-sri-international / aic-praiseLinks
SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)
☆12Updated 4 years ago
Alternatives and similar repositories for aic-praise
Users that are interested in aic-praise are comparing it to the libraries listed below
Sorting:
- Hierarchical Temporal Sparse Learner☆13Updated 9 years ago
- Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells☆7Updated 7 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 4 years ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Updated 9 years ago
- Theano implementation of the Neural GPU☆15Updated 9 years ago
- ☆9Updated 9 years ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- MCMC for the Dark Energy Spectroscopic Instrument☆13Updated 9 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 2 months ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Java implementation of the Simple Genetic Algorithm, the Univariate Marginal Distribution Algorithm, the Extended Compact Genetic Algorit…☆12Updated 9 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated 9 months ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- Interactively evolve various types of art (pictures, animations, shapes, and sounds) using Compositional Pattern Producing Networks☆22Updated 7 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆15Updated 2 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 5 months ago
- Metamath verifier in Python☆39Updated 2 weeks ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Mathematica library link wrapper for BVLC/Caffe☆20Updated 9 years ago
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- GPU-accelerated natural language parser☆36Updated 11 years ago
- The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…☆14Updated 5 years ago