Bonus points if that is combined with modern differentiable methods and SAT/SMT, i.e. neurosymbolic AI.
https://mindaptiv.com/intro-to-wantware/
I think the issue in this area is mostly to convince and sell to bureaucratic institutions.
Bonus points if that is combined with modern differentiable methods and SAT/SMT, i.e. neurosymbolic AI.