🤔 A grounder and solver for logic programs.
My public programs and models - mostly combinatorial problems and puzzles
Visualization Constraints and Weight Learning
Probabilistic Answer Set Programming and Probabilistic SAT solving, base...
Symbolic Reinforcement Learning using Inductive Logic Programming
A lazy-grounding Answer-Set Programming system