Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example

Oleg Sychev, Nikita Penskoy, Grigory Terekhov. Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example. In Mutlu Cukurova, Nikol Rummel, Denis Gillet, Bruce M. McLaren, James Uhomoibhi, editors, Proceedings of the 14th International Conference on Computer Supported Education, CSEDU 2022, Online Streaming, April 22-24, 2022, Volume 1. pages 116-123, SCITEPRESS, 2022. [doi]

Authors

Oleg Sychev

This author has not been identified. Look up 'Oleg Sychev' in Google

Nikita Penskoy

This author has not been identified. Look up 'Nikita Penskoy' in Google

Grigory Terekhov

This author has not been identified. Look up 'Grigory Terekhov' in Google