Pinned

1. logic-and-learning-lab/Popper logic-and-learning-lab/Popper Public

   An inductive logic programming system

   Python 175 28

2. logic-and-learning-lab/ilp-experiments logic-and-learning-lab/ilp-experiments Public

   Experimentation framework for Popper

   Prolog 17 4

3. numsynth-aaai23 numsynth-aaai23 Public

   C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.

   Prolog 12

4. aaai24-maxsynth aaai24-maxsynth Public

   C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.

   Prolog 2