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
- toy ccg parser☆14Apr 14, 2016Updated 9 years ago
- Incremental Learning Event Definitions☆15Jul 21, 2015Updated 10 years ago
- A Slot-filling based Dialog Manager for Task-oriented Bot☆12Dec 29, 2016Updated 9 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- An OCaml clustering library☆20Apr 26, 2021Updated 4 years ago
- A Combinatory Categorial Grammar library.☆22Nov 11, 2013Updated 12 years ago
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- The smart-match module contains functions for calculating strings/sets similarity.☆14Feb 22, 2024Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 4 years ago
- An implementation of Probabilistic Soft Logic Engine using Python/Gurobi☆53Jan 24, 2019Updated 7 years ago
- making data science easy and safe with data frames in haskell☆28Jul 31, 2017Updated 8 years ago
- A pytorch implementation of QAnet☆28Dec 11, 2018Updated 7 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- SemEval-2018 Task 12: The Argument Reasoning Comprehension Task☆31Feb 22, 2018Updated 8 years ago
- Nordlys: Toolkit for entity-oriented and semantic search☆31Mar 23, 2021Updated 4 years ago
- Implementation for the Neural Logic Machines (NLM).☆294May 13, 2019Updated 6 years ago
- Cross-platform Python client for the CodeReef.ai portal to manage portable workflows, reusable automation actions, software detection plu…☆11Mar 27, 2020Updated 5 years ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Graph-algorithm inferences over local groundings of first-order logic programs☆137Nov 4, 2017Updated 8 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆101Dec 8, 2025Updated 2 months ago
- LoMRF is an open-source implementation of Markov Logic Networks☆86Sep 7, 2024Updated last year
- Tutorial materials for PyData 2015 Seattle.☆34Jul 24, 2015Updated 10 years ago
- Painless and simple development environments using Vagrant☆11Jun 9, 2015Updated 10 years ago
- Parse Bluetooth Low Energy peripheral advertising packets☆14Nov 7, 2021Updated 4 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- Fast and thread safe C++11 implementation of of the Aho-Corasick algorithm.☆10Mar 4, 2020Updated 5 years ago
- ☆11Jun 15, 2019Updated 6 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- Sources of the EuroProofNet web site.☆13Feb 12, 2026Updated 2 weeks ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- A comparison of various moving window median algorithms☆17Jun 4, 2011Updated 14 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- ☆39Nov 4, 2018Updated 7 years ago
- [ACL 2019]: Interconnected Question Generation with Coreference Alignment and Conversation Flow Modeling☆88Apr 5, 2020Updated 5 years ago
- LibN3L: A light-weight neural network package for natural language☆82Jun 4, 2025Updated 8 months ago
- Re-implementation of Bi-Directional Block Self-Attention for Fast and Memory-Efficient Sequence Modeling (T. Shen et al., ICLR 2018) on P…☆42Feb 22, 2018Updated 8 years ago