balasub / ai-seminarLinks
☆9Updated 4 years ago
Alternatives and similar repositories for ai-seminar
Users that are interested in ai-seminar are comparing it to the libraries listed below
Sorting:
- Build Your Own Neural Network Design☆13Updated 4 years ago
- Do what you want, just give credit.☆18Updated 2 weeks ago
- Automated Controller Synthesis☆15Updated 7 years ago
- ☆13Updated 3 years ago
- domain-level nucleic acid reaction enumeration☆9Updated last year
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Evolutionary feature synthesis☆17Updated 9 years ago
- Model-based Demonstrator for Smart and Safe Systems☆16Updated 5 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆43Updated last month
- Python-based object-oriented discrete-event simulation tool for complex, data-driven modeling☆33Updated 4 years ago
- A Tool for Multi-Paradigm Modeling☆24Updated 9 months ago
- Modeling and Programming with Gecode☆46Updated 2 years ago
- A D4M module for Python. D4M was developed in MATLAB by Dr Jeremy Kepner☆25Updated 7 months 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
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- A prototype of an autonomous agent for garbage collection.☆35Updated 4 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆18Updated last week
- List of awesome JAX resources☆13Updated 2 years ago
- Boid flocking model in OpenGL☆12Updated 7 years ago
- RockIt: A query engine for Markov logic☆11Updated 9 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 2 months ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- A particle swarm optimization library created by Numenta for hyperparameter optimization.☆18Updated 9 years ago
- Course notes for CS323: Automated Reasoning☆42Updated 8 years ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Intu is a Cognitive Embodiment Middleware for AI on the edge.☆30Updated 7 months ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago