MineFOL: a Game for Learning First Order Logic

Full citation

"MineFOL: a Game for Learning First Order Logic", Groza, Adrian and Baltatescu, Monalisa and M., Pomarlan, Mihai, IEEE 16th International Conference on Intelligent Computer Communication and Processing (ICCP '20), Cluj-Napoca, Romania pp. 153-160, DOI: 10.1109/ICCP51029.2020.9266174, ISBN: 978-1-7281-9080-8, 2020.