machine-learning artificial-intelligence logic-programming answer-set-programming inductive-logic-programming explainable-ml ilasp logic-based-learning

• Updated Nov 11, 2024

Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) ♣️ 🎲

nim tic-tac-toe minimax monte-carlo-tree-search clingo answer-set-programming game-strategy ilasp

• Updated Mar 25, 2023
• Python

Exploit ILP to learn symmetry breaking constraints of ASP programs.

answer-set-programming inductive-logic-programming symmetry-breaking ilasp

• Updated Mar 2, 2023
• Python

Project about experiments of the use of ILASP as a post-hoc method over black-box models, in which we also study and approach technical issues like exponential time execution.

machine-learning neural-network svm pca knn answer-set-programming inductive-logic-programming post-hoc preference-learning explainable-ai ilasp

• Updated Jun 30, 2026
• Lasso

The official code repository of "Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning"

temporal-logic formal-methods shielding reactive-synthesis safe-reinforcement-learning ilasp

• Updated Nov 3, 2026
• Python