Graph Mining and Outlier Detection Meet Logic Proof Tutoring

Karel Vaculík, Leona Nezvalová, Lubos Popelínsky. Graph Mining and Outlier Detection Meet Logic Proof Tutoring. In Sergio Gutiérrez Santos, Olga C. Santos, editors, Proceedings of the Workshops held at Educational Data Mining 2014, co-located with 7th International Conference on Educational Data Mining (EDM 2014), London, United Kingdom, July 4-7, 2014. Volume 1183 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]

Authors

Karel Vaculík

This author has not been identified. Look up 'Karel Vaculík' in Google

Leona Nezvalová

This author has not been identified. Look up 'Leona Nezvalová' in Google

Lubos Popelínsky

This author has not been identified. Look up 'Lubos Popelínsky' in Google