DeMaCS-UNICAL / Angry-HEXLinks
An artificial player for the popular video game Angry Birds
☆19Updated 6 years ago
Alternatives and similar repositories for Angry-HEX
Users that are interested in Angry-HEX are comparing it to the libraries listed below
Sorting:
- ☆42Updated 8 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- ☆15Updated 7 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 4 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Course notes for CS323: Automated Reasoning☆42Updated 8 years ago
- in progress☆72Updated 8 years ago
- Modeling agents with probabilistic programs☆68Updated 6 years ago
- AIXIjs - General Reinforcement Learning in the Browser☆149Updated 5 years ago
- MC-AIXI-CTW by Marcus Hutter and his students (in particular Daniel Visentin)☆51Updated 14 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 9 years ago
- Repository for "Known Unknowns: Uncertainty Quality in Bayesian Neural Networks" paper.☆12Updated 8 years ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆18Updated 8 years ago
- Differentiable Forth Interpreter☆74Updated 8 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Updated last year
- Temporal Logic Planning toolbox☆125Updated last month
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27Updated 8 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 3 years ago
- Automatically exported from code.google.com/p/rddlsim☆55Updated last year
- Structure learning for sparse graphs with latent variables☆45Updated 9 years ago
- brat rapid annotation tool (brat) - for all your textual annotation needs☆10Updated 8 years ago
- Markov Logic Networks in Python☆139Updated 4 years ago
- Cephes Mathematical Functions library wrapped for Torch☆49Updated 9 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 10 months ago
- SmalL bUt Complete GROne Synthesizer☆43Updated last year
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆52Updated 11 years ago
- Reading Group on Reinforcement Learning topics☆56Updated 9 years ago
- A toolbox for statistical relational learning and reasoning.☆102Updated 3 years ago