First Order Inductive Learner (FOIL) algorithm implemented in Python
☆52Feb 16, 2014Updated 12 years ago
Alternatives and similar repositories for foil-python
Users that are interested in foil-python are comparing it to the libraries listed below
Sorting:
- Relational data mining in python☆32Nov 16, 2022Updated 3 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- toy ccg parser☆14Apr 14, 2016Updated 9 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆31Sep 11, 2023Updated 2 years ago
- A collection of documents and materials for the EMNLP-2015 Semantic Similarity tutorial☆30Sep 30, 2015Updated 10 years ago
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆101Dec 8, 2025Updated 3 months ago
- Text Simplification System and Dataset☆15Jul 19, 2017Updated 8 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- An OCaml clustering library☆20Apr 26, 2021Updated 4 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Sep 21, 2020Updated 5 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆17Jun 13, 2025Updated 9 months ago
- Towards Adaptive ML Benchmarks: Web-Agent-Driven Construction, Domain Expansion, and Metric Optimization☆20Sep 12, 2025Updated 6 months ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- A Python implementation of word2vec that allows custom sampling strategies☆10Jan 30, 2014Updated 12 years ago
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 15 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆70Jul 1, 2024Updated last year
- The purpose of this project is to experiment with possible optimisations for a Storm implementation of the Rete algorithm☆12May 16, 2013Updated 12 years ago
- ☆19Feb 22, 2017Updated 9 years ago
- Simple implementations of Naive Bayes and Logistic Regression.☆10Jun 26, 2016Updated 9 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 9 years ago
- C++ neural network library☆13Jul 2, 2016Updated 9 years ago
- Design algorithms for cross document coreference resolution☆17Dec 27, 2013Updated 12 years ago
- EQUATE (Evaluating Quantitative Understanding Aptitude in Textual Entailment), framework for evaluating quantitative reasoning ability in…☆14Feb 13, 2022Updated 4 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Dec 8, 2016Updated 9 years ago
- making data science easy and safe with data frames in haskell☆28Jul 31, 2017Updated 8 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Metagol - an inductive logic programming system☆209Sep 13, 2021Updated 4 years ago
- Dataset containing Semantic Relations and Metadata, for Training and Evaluating Distributional Semantic Models in English and Mandarin Ch…☆16Aug 7, 2017Updated 8 years ago
- Scripted fact system for SuperScript☆11Sep 15, 2017Updated 8 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- e-navigation Prototype Displays☆15Mar 27, 2023Updated 2 years ago
- NLP Sandbox☆14Nov 26, 2016Updated 9 years ago
- Javascript program that displays an updating quote panel for any currency pair using the OANDA REST API.☆16Jul 27, 2016Updated 9 years ago
- A PyTorch baseline defense example for the NIPS 2017 adversarial competition☆10Aug 3, 2017Updated 8 years ago
- The Zenon theorem prover☆15Jul 19, 2023Updated 2 years ago
- The RunBugRun dataset of executable bugs☆23Sep 24, 2025Updated 5 months ago