Ermine516/NOPI
Code Implementing the system described in "Generalisation Through Negation and Predicate Invention", AAAI-24
Repositories
Ermine516/ermine516.github.io
Ermine516/HOpper
Code for IJCAI-22 paper "Learning Higher-Order Logic Programs from Failures"
Ermine516/Anti_unification_Algorithms
Ermine516/DILP2
Code for the paper "Differentiable Inductive Logic Programming in High-Dimensional Space" published at IJCLR 2024
Ermine516/europroofnet.github.io
Sources of the EuroProofNet web site.
Ermine516/Schematic-Unification
Implementation of Schematic Unification algorithm
Ermine516/Popper
Popper is an inductive logic programming (ILP) system.
Ermine516/GenericWordleSolvability
ASP encoding of a Wordle based puzzle.
Ermine516/metagol
Metagol - an inductive logic programming system
Ermine516/LoopUnification
Contains an implementation of The near-linear algorithm discussed in "Linear Unification" by Paterson and Wegman. The algorithm runs in O(a(n)*n) where a(n) is the inverse Ackermann function. Based on the union-find data structure.
Ermine516/AXolotl
The Android app version of the AXolotl Education Software
Ermine516/UnitAU
Code Implementing Algorithms Discussed in the following paper: https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=12348