Publication Date
In 2025 | 0 |
Since 2024 | 0 |
Since 2021 (last 5 years) | 0 |
Since 2016 (last 10 years) | 1 |
Since 2006 (last 20 years) | 3 |
Descriptor
Higher Education | 3 |
Programming | 3 |
Semantics | 3 |
Educational Technology | 2 |
Evaluation Methods | 2 |
Foreign Countries | 2 |
Mathematical Logic | 2 |
Metadata | 2 |
Models | 2 |
Problem Solving | 2 |
Teaching Methods | 2 |
More ▼ |
Author
Aguilera-Venegas, Gabriel | 1 |
Galán-García, José Luis | 1 |
Galán-García, María Ángeles | 1 |
Rodríguez-Cielos, Pedro | 1 |
Vrablecová, Petra | 1 |
Šimko, Marián | 1 |
Publication Type
Journal Articles | 2 |
Collected Works - Proceedings | 1 |
Guides - Classroom - Teacher | 1 |
Reports - Descriptive | 1 |
Reports - Research | 1 |
Education Level
Higher Education | 3 |
Postsecondary Education | 3 |
Elementary Secondary Education | 1 |
Audience
Teachers | 1 |
Location
Asia | 1 |
Australia | 1 |
Brazil | 1 |
Connecticut | 1 |
Denmark | 1 |
Egypt | 1 |
Estonia | 1 |
Florida | 1 |
Germany | 1 |
Greece | 1 |
Hawaii | 1 |
More ▼ |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Vrablecová, Petra; Šimko, Marián – IEEE Transactions on Learning Technologies, 2016
The domain model is an essential part of an adaptive learning system. For each educational course, it involves educational content and semantics, which is also viewed as a form of conceptual metadata about educational content. Due to the size of a domain model, manual domain model creation is a challenging and demanding task for teachers or…
Descriptors: Semantics, Models, Metadata, Programming
Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro – International Journal for Technology in Mathematics Education, 2015
Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…
Descriptors: Mathematical Formulas, Problem Solving, Teaching Methods, Mathematical Logic
International Association for Development of the Information Society, 2012
The IADIS CELDA 2012 Conference intention was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There had been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a…
Descriptors: Academic Achievement, Academic Persistence, Academic Support Services, Access to Computers