Code and Data for DeepLog system
☆19Feb 16, 2023Updated 3 years ago
Alternatives and similar repositories for DeepLog
Users that are interested in DeepLog are comparing it to the libraries listed below
Sorting:
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a un…☆88Updated this week
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆10Dec 12, 2023Updated 2 years ago
- Sabre is a narrative planning platform that generates stories which meet the author's goals and only contain actions that make sense for …☆48Oct 8, 2025Updated 5 months ago
- General Inductive Logic Programming System☆18Sep 22, 2022Updated 3 years ago
- Metagol - an inductive logic programming system☆209Sep 13, 2021Updated 4 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆133Feb 11, 2025Updated last year
- Experimentation framework for Popper☆25Jul 24, 2025Updated 7 months ago
- An inductive logic programming system☆274Mar 14, 2026Updated last week
- Prolog, Datalog, languages, resources, and beyond!☆33Feb 10, 2026Updated last month
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- My MSc thesis: a grammar induction system☆16Apr 15, 2016Updated 9 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last month
- A Magic: The Gathering parser☆20Nov 25, 2018Updated 7 years ago
- Boxing primitive types in C++☆17Sep 27, 2024Updated last year
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated 3 weeks ago
- ☆12Oct 5, 2022Updated 3 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 11 months ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- Experimental support for coroutines-based generators in Ada☆13Nov 5, 2022Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆83Jan 20, 2026Updated 2 months ago
- ☆50Nov 11, 2023Updated 2 years ago
- PHP synthetic test cases generator☆10Oct 15, 2023Updated 2 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated 7 months ago
- A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantee…☆54Oct 24, 2019Updated 6 years ago
- Poplog☆21Nov 18, 2010Updated 15 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated last year
- Web IDE for the Picat language based on Blazor and Monaco☆12Updated this week
- Pick your model, run in an instance with GPU☆21Mar 31, 2025Updated 11 months ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Feb 19, 2023Updated 3 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Mar 5, 2026Updated 2 weeks ago
- MALOnt - an ontology for Malware Threat Intelligence.☆13Jul 8, 2021Updated 4 years ago
- A basic wrapper to allow access to OEIS from within Julia.☆17Apr 29, 2020Updated 5 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- git mirror with some local fixes. currently not uptodate☆18Mar 10, 2023Updated 3 years ago