Rahul Singhal, Martin Henz, Shubham Goyal. A Framework for Automated Generation of Questions Based on First-Order Logic. In Cristina Conati, Neil T. Heffernan, Antonija Mitrovic, M. Felisa Verdejo, editors, Artificial Intelligence in Education - 17th International Conference, AIED 2015, Madrid, Spain, June 22-26, 2015. Proceedings. Volume 9112 of Lecture Notes in Computer Science, pages 776-780, Springer, 2015. [doi]
Abstract is missing.