?
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1 ,
1
Improving Student Learning with Automated Assessment:
, In:
?
?
2023 IEEE Frontiers in Education Conference (FIE) ,
9
Assessing Student Programming Process Using Automated Reaso..:
, In:
?
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming ,
13
stableKanren: Integrating Stable Model Semantics with miniK..:
, In:
?
2023 IEEE Sixth International Conference on Artificial Intelligence and Knowledge Engineering (AIKE) ,
14