joschout / tildeLinks
Top-down induction of first-order logical decision trees: master AI thesis implementation
☆26Updated 5 years ago
Alternatives and similar repositories for tilde
Users that are interested in tilde are comparing it to the libraries listed below
Sorting:
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- ☆37Updated 10 months ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆20Updated 7 months ago
- Source for Action Schema Networks paper (AAAI'18)☆32Updated 2 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Updated 3 weeks ago
- Powerlifted Planner☆32Updated last month
- ☆48Updated last year
- Experimentation framework for Popper☆23Updated 2 months ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- Translating HTN planning problems to PDDL☆21Updated 4 years ago
- Tarski - An AI Planning Modeling Framework☆71Updated last year
- A Benchmark for Machine Learning from Structured Data☆22Updated 3 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 2 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆19Updated 4 years ago
- A library for constructing and evaluating state features made up of description logics for planning.☆12Updated 6 months ago
- From LTLf/LDLf To Automata☆22Updated 5 years ago
- The Python PSDD Package☆19Updated 2 months ago
- Library for action model acquisition from state trace data.☆23Updated 9 months ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆78Updated 3 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- ☆32Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆13Updated 3 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆316Updated 10 months ago
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆52Updated 4 years ago