Graph Mining and Outlier Detection Meet Logic Proof Tutoring.

Karel Vaculk, Leona Nezvalov, Lubos Popelnsk

Browse the full EDM paper archive.