Publications

Under Review:

• LP-based Integration of Computing and STEM
  • Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray, Wendy Staffen: A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming. AAAI2019: 9737-9744
  • Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray: LP Based Integration of Computing and Science Education in Middle Schools. First ACM Conference on Global Computing Education (CompEd) 2019: 44-50
  • Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray: LP Based Integration of Computing and Science Education in Middle Schools. International Conference of Logic Programming (ICLP) 2019, Sister Conferences and Journal Presentation Track.

• LP-based Computing Teaching for High School Students
  • Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang:
    Introducing Computer Science to High School Students Through Logic Programming. TPLP19(2): 204-228 (2019)

• Programming Tools
  • Elias Marcopoulos, Yuanlin Zhang: onlineSPARC: A Programming Environment for Answer Set Programming. TPLP 19(2): 262-289(2019)
  • Nguyen, V. T., Zhang, Y., Jung, K., Xing, W., & Dang, T. (2020, January). VRASP: A Virtual Reality Environment for Learning Answer Set Programming. In International Symposium on Practical Aspects of Declarative Languages (pp. 82-91). Springer, Cham