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]
@inproceedings{GrozaBP20,
title = {MineFOL: a Game for Learning First Order Logic},
author = {Adrian Groza and Maria Monalisa Baltatescu and Mihai Pomarlan},
year = {2020},
doi = {10.1109/ICCP51029.2020.9266174},
url = {https://doi.org/10.1109/ICCP51029.2020.9266174},
researchr = {https://researchr.org/publication/GrozaBP20},
cites = {0},
citedby = {0},
pages = {153-160},
booktitle = {16th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2020, Cluj-Napoca, Romania, September 3-5, 2020},
editor = {Sergiu Nedevschi and Rodica Potolea and Radu Razvan Slavescu},
publisher = {IEEE},
isbn = {978-1-7281-9080-8},
}