For our joint model, we use Gurobi, a state-of-the-art ILP solver, to solve the MAP inference problem.
we ground the MLN with dialogue data from each student independently and solve the MAP problem for each such partially ground MLN independently using Gurobi.