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]

Authors

Adrian Groza

This author has not been identified. Look up 'Adrian Groza' in Google

Maria Monalisa Baltatescu

This author has not been identified. Look up 'Maria Monalisa Baltatescu' in Google

Mihai Pomarlan

This author has not been identified. Look up 'Mihai Pomarlan' in Google