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:
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- ☆42Updated 8 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- ☆15Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 8 months ago
- Modeling agents with probabilistic programs☆67Updated 6 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 8 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- A Benchmark for Machine Learning from Structured Data☆22Updated 4 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Updated 5 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- Differentiable Forth Interpreter☆73Updated 7 years ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- ☆101Updated 5 years ago
- Logistic Circuits☆36Updated 6 years ago
- Experimentation framework for Popper☆23Updated 4 months ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Updated 7 years ago
- ☆28Updated 8 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Updated last year
- Markov Logic Networks in Python☆139Updated 4 years ago
- The Python PSDD Package☆19Updated 5 months ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 5 months ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 4 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 9 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- AIXIjs - General Reinforcement Learning in the Browser☆148Updated 5 years ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆51Updated 11 years ago