Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching logic programming is considered one of the seven greatest challenges of computer science education in this century due to the high rate of failure among students, and because it directly influences how students will perform in other related subjects for the remainder of their program. Therefore, researching new strategies such as the ERM2C methodology is essential for improving education in the area. The methodology proposes that the process be developed in two stages: the first for reading/understanding any algorithm, and the second for building total or partial ...
This paper provides an overview of common challenges in teaching of logic and formal methods to Comp...
Mainstream machine learning methods lack interpretability, explainability, incrementality, and data-...
This paper presents a framework to integrate Science and Computing teaching using Logic Programming....
The aim of the programs in Computer Science is to educate and train students to understand the probl...
Our aim is to discuss what, when and, how deep logic should be taught in the computer science educat...
In a book devoted to applications of logic programming, this chapter describes case study experience...
The current state of affairs in programming is discussed. The opinion is expressed that effective p...
This document analyzes factors that make it difficult for computational programming logic to consoli...
This course provides a holistic approach to planning and evaluating education and outreach programs....
AbstractThe characteristics of logic programming languages both necessitate and motivate innovative ...
This paper describes applications of logic programming technology to the teaching of the inductive m...
Programming should be considered as an ill-defined domain because for a given programming problem th...
This document analyzes factors that make it difficult for computational programming logic to consoli...
Logic programming is programming by description. The programmer describes the application area and l...
Learning the rules of a programming language is much easier than learning how to program. Learning h...
This paper provides an overview of common challenges in teaching of logic and formal methods to Comp...
Mainstream machine learning methods lack interpretability, explainability, incrementality, and data-...
This paper presents a framework to integrate Science and Computing teaching using Logic Programming....
The aim of the programs in Computer Science is to educate and train students to understand the probl...
Our aim is to discuss what, when and, how deep logic should be taught in the computer science educat...
In a book devoted to applications of logic programming, this chapter describes case study experience...
The current state of affairs in programming is discussed. The opinion is expressed that effective p...
This document analyzes factors that make it difficult for computational programming logic to consoli...
This course provides a holistic approach to planning and evaluating education and outreach programs....
AbstractThe characteristics of logic programming languages both necessitate and motivate innovative ...
This paper describes applications of logic programming technology to the teaching of the inductive m...
Programming should be considered as an ill-defined domain because for a given programming problem th...
This document analyzes factors that make it difficult for computational programming logic to consoli...
Logic programming is programming by description. The programmer describes the application area and l...
Learning the rules of a programming language is much easier than learning how to program. Learning h...
This paper provides an overview of common challenges in teaching of logic and formal methods to Comp...
Mainstream machine learning methods lack interpretability, explainability, incrementality, and data-...
This paper presents a framework to integrate Science and Computing teaching using Logic Programming....