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/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/aygp-dr/reversible-meta-synthesis
Implementation of reversible meta-interpreter for inductive program synthesis based on Numao and Ma's research
inductive-logic-programming meta-interpreter program-synthesis reversible-computing
Last synced: 15 May 2025
https://github.com/mmsaki/certora-tool
Formal verifiaction personal notes
formal-verification inductive-logic-programming invariants
Last synced: 06 Apr 2025
