You are here: Home / Vol. 17, issue 1 / Paper 2026-50

Paper 2026-50

ПРЕДИЗВИКАТЕЛСТВАТА В IDEAS КАТО МЕТОДИЧЕСКИ МОДЕЛ ЗА ОБУЧЕНИЕ В СЪТРУДНИЧЕСТВО

Магдалена Иванова Мъглижанова, Станимир Недялков Стоянов, Сребрин Кинев Сребрев
Пловдивски университет „Паисий Хилендарски“, Пловдив

THE CHALLENGES OF IDEAS AS A METHODOLOGICAL MODEL FOR COLLABORATIVE LEARNING

Magdalena Ivanova Maglizhanova, Stanimir Nedyalkov Stoyanov, Srebrin Kinev Srebrev
University of Plovdiv “Paisii Hilendarski”, Plovdiv

Abstract: This article proposes a methodological model for using challenges in the IDEAS platform in secondary school education. Challenges are viewed as a form of active, project-based, and collaborative learning, in which students not only solve given tasks but also create their own logical problems, share them with peers, and receive feedback. Special emphasis is placed on the platform’s capabilities for organisation of inter-school and international teams, in which students from different educational and cultural contexts work on common tasks based on logical programming, message encryption, and knowledge presentation. The proposed model demonstrates how IDEAS can be used to develop logical, algorithmic, and critical thinking, digital competence, communication skills, and motivation for studying computer science and artificial intelligence.

Keywords: symbolic AI; education; Prolog; knowledge representation; learning platform

References:

  1. Kowalski, R., Computational Logic and Human Thinking: How to Be Artificially Intelligent, Cambridge University Press, Cambridge, 2011.
  2. Gupta, G., Salazar, E., Arias, J., Computational Thinking with Logic Programming, Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024), Dallas, TX, USA, CEUR Workshop Proceedings, Vol. 3799, 2024.
  3. Jendreiko, C., The Simple Generative Logic Grammar: A Tool for Teaching Logical Thinking Through Visual Research in Art and Design, Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, CEUR Workshop Proceedings, 2025, p. 11.
  4. Semerikov, S. O., Mintii, I. S., Moiseienko, N. V., Teaching Logic Programming: A Review, CTE Workshop Proceedings, Vol. 12, 2025, pp. 399–425.
  5. Tabakova-Komsalova, V., Stoyanov, S., Stoyanova-Doycheva, A., Doukovska, L., Prolog Education in Selected Secondary Schools in Bulgaria, Prolog: The Next 50 Years, Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, Vol. 13900, Springer, 2023.
  6. Tabakova-Komsalova, V., Stoyanov, I., Cholakov, G., Maglizhanova, M., Introducing Artificial Intelligence to Secondary Schools Through STEM Learning and the Logic Programming Language Prolog, TEM Journal, Vol. 13, 2024, pp. 3221–3230.
  7. Stoyanov, S., Tabakova-Komsalova, V., Artificial Intelligence – Logic Programming with Prolog, Mathematics and Education in Mathematics, Vol. 52, 2023, pp. 221–223.
  8. Tabakova-Komsalova, V., Maglizhanova, M., Stoyanova-Doycheva, A., Stoyanov, S., Platform for Introducing Logic Programming in Bulgarian Secondary Schools – IDEAS, Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, CEUR Workshop Proceedings, 2025.
  9. Maglizhanova, M., Tabakova-Komsalova, V., Dahl, V., Stoyanov, S., Srebrev, S., Srebreva, T., Web Platform for Symbolic AI and Knowledge, PEG Workshop 2026, under review, 2026.
  10. Rodríguez, J. P., Cecchi, L. A., Logic Programming in Primary School: Facing Computer Science at an Early Age, 2024 Latin American Computer Conference (CLEI), IEEE, 2024, pp. 1–9.

(Endnotes:)

1. https://prolog-lang.org/Education/ (Poseten na 19.06.2026)

READ FULL PAPER