Projects in Awesome Lists tagged with inductive-logic-programming
A curated list of projects in awesome lists tagged with inductive-logic-programming .
https://github.com/friguzzi/cplint
cplint is a suite of programs for reasoning with probabilistic logic programs
inductive-logic-programming logic-programming machine-learning probabilistic-logic-programming probabilistic-programming prolog
Last synced: 20 Nov 2025
https://github.com/celinehocquette/numsynth-aaai23
C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
inductive-logic-programming program-synthesis
Last synced: 17 Jan 2026
https://github.com/abeer-dyoub/EthicalEvalMAS
A MAS system for ethical monitoring and evaluation of dialog systems
answer-set-programming inductive-logic-programming machine-learning multi-agent-systems prolog-parser
Last synced: 19 Jul 2025
https://github.com/srlearn/relationaldatasets.jl
Julia package for fetching and using srlearn-compatible relational datasets.
datasets inductive-logic-programming relational-learning statistical-relational-learning
Last synced: 21 Oct 2025
https://github.com/celinehocquette/aaai24-maxsynth
C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.
inductive-logic-programming program-synthesis
Last synced: 17 Jan 2026
https://github.com/mmsaki/certora-tool
Formal verifiaction personal notes
formal-verification inductive-logic-programming invariants
Last synced: 19 Jan 2026
