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]

@inproceedings{SychevPT22,
  title = {Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example},
  author = {Oleg Sychev and Nikita Penskoy and Grigory Terekhov},
  year = {2022},
  doi = {10.5220/0011070100003182},
  url = {https://doi.org/10.5220/0011070100003182},
  researchr = {https://researchr.org/publication/SychevPT22},
  cites = {0},
  citedby = {0},
  pages = {116-123},
  booktitle = {Proceedings of the 14th International Conference on Computer Supported Education, CSEDU 2022, Online Streaming, April 22-24, 2022, Volume 1},
  editor = {Mutlu Cukurova and Nikol Rummel and Denis Gillet and Bruce M. McLaren and James Uhomoibhi},
  publisher = {SCITEPRESS},
  isbn = {978-989-758-562-3},
}