MineFOL: a Game for Learning First Order Logic

Adrian Groza, Maria Monalisa Baltatescu, Mihai Pomarlan. MineFOL: a Game for Learning First Order Logic. In Sergiu Nedevschi, Rodica Potolea, Radu Razvan Slavescu, editors, 16th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2020, Cluj-Napoca, Romania, September 3-5, 2020. pages 153-160, IEEE, 2020. [doi]

Abstract

Abstract is missing.