References

  1. Marzieh Ahmadzadeh, Dave Elliman & Colin Higgins (2005): An analysis of patterns of debugging among novice computer science students. In: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, pp. 84–88, doi:10.1145/1067445.1067472.
  2. Evgenii Balai, Michael Gelfond & Yuanlin Zhang (2013): Towards Answer Set Programming with Sorts. In: Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, pp. 135–147, doi:10.1007/978-3-642-40564-8_14.
  3. Martin Brain & Marina De Vos (2005): Debugging Logic Programs under the Answer Set Semantics.. In: Answer Set Programming.
  4. Virginia Braun & Victoria Clarke (2006): Using thematic analysis in psychology. Qualitative Research in Psychology 3, pp. 77–101, doi:10.1191/1478088706qp063oa.
  5. Gerhard Brewka, Thomas Eiter & Mirosław Truszczyński (2011): Answer set programming at a glance. Communications of the ACM 54(12), pp. 92–103, doi:10.1145/2043174.2043195.
  6. Balai Evgenii (2020): SPARC Manual. https://github.com/iensen/sparc/blob/master/User_Manual/Sparc_Manual.pdf, retrieved August 2020.
  7. Michael Gelfond & Yulia Kahl (2014): Knowledge Representation, Reasoning, and the Design of Intelligent Agents. Cambridge University Press, doi:10.1017/CBO9781139342124.
  8. Anabela Gomes & António José Mendes (2007): Learning to program-difficulties and solutions. In: International Conference on Engineering Education–ICEE 2007.
  9. Philip J Guo, Jeffery White & Renan Zanelatto (2015): Codechella: Multi-user program visualizations for real-time tutoring and collaborative learning. In: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, pp. 79–87, doi:10.1109/VLHCC.2015.7357201.
  10. Maria Hristova, Ananya Misra, Megan Rutter & Rebecca Mercuri (2003): Identifying and correcting Java programming errors for introductory computer science students. ACM SIGCSE Bulletin 35(1), pp. 153–156, doi:10.1145/792548.611956.
  11. K-12 Computer Science Framework Steering Committee (2016): K-12 computer science framework. ACM.
  12. Elias Marcopoulos & Yuanlin Zhang (2019): onlineSPARC: A Programming Environment for Answer Set Programming. Theory Pract. Log. Program. 19(2), pp. 262–289, doi:10.1017/S1471068418000509.
  13. Patrick Mendelsohn, TRG Green & Paul Brna (1990): Programming languages in education: The search for an easy start. In: Psychology of programming. Elsevier, pp. 175–200, doi:10.1016/B978-0-12-350772-3.50016-1.
  14. NSF (2018): STEM+C Program. https://www.nsf.gov/funding/pgm_summ.jsp?pims_id=505006, retrieved on October 10 2018.
  15. Jean Piaget (1972): Intellectual evolution from adolescence to adulthood. Human development 15(1), pp. 1–12, doi:10.1159/000271225.
  16. STEM education act (2015): Public Law No: 114-59.
  17. Samar I Swaid (2015): Bringing computational thinking to STEM education. Procedia Manufacturing 3, pp. 3657–3662, doi:10.1016/j.promfg.2015.07.761.
  18. Lev S Vygotsky & Lev Seminovitch Vygotski (1987): The collected works of LS Vygotsky: Volume 1: Problems of general psychology, including the volume Thinking and Speech 1. Springer Science & Business Media.
  19. Timothy T. Yuen, Maritza Reyes & Yuanlin Zhang (2019): Introducing Computer Science to High School Students Through Logic Programming. Theory Pract. Log. Program. 19(2), pp. 204–228, doi:10.1017/S1471068418000431.
  20. Yuanlin Zhang, Jianlan Wang, Fox Bolduc & William G. Murray (2019): LP Based Integration of Computing and Science Education in Middle Schools. In: Proceedings of the ACM Conference on Global Computing Education, CompEd '19. Association for Computing Machinery, New York, NY, USA, pp. 44–50, doi:10.1145/3300115.3309512.
  21. Yuanlin Zhang, Jianlan Wang, Fox Bolduc, William G. Murray & Wendy Staffen (2019): A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming. In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, Honolulu, Hawaii, USA, 2019. AAAI Press, pp. 9737–9744, doi:10.1609/aaai.v33i01.33019737.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org