Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Heeren, B.J."'
Publikováno v:
Proceedings of the 11th Workshop on Ontology Design and Patterns: WOP 2020, 51, 292-298
Verhaeg, M, Rutledge, L W & Heeren, B J 2021, SHACL-based Ontology Design Patterns for Evidence-based Decision-making . in Proceedings of the 11th Workshop on Ontology Design and Patterns : WOP 2020 . vol. 51, IOS Press, Studies on the Semantic Web, pp. 292-298, 11th Workshop on Ontology Design and Patterns, Athens, Greece, 1/11/20 . https://doi.org/10.3233/SSW210020
Verhaeg, M, Rutledge, L W & Heeren, B J 2021, SHACL-based Ontology Design Patterns for Evidence-based Decision-making . in Proceedings of the 11th Workshop on Ontology Design and Patterns : WOP 2020 . vol. 51, IOS Press, Studies on the Semantic Web, pp. 292-298, 11th Workshop on Ontology Design and Patterns, Athens, Greece, 1/11/20 . https://doi.org/10.3233/SSW210020
This work proposes an application of Semantic Web SHACL-defined constraints to detect premature information in decision-making. We frame these as ontology design patterns to facilitate domain experts in building Semantic Web-based ontologies for dete
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c05c2cc97aa2a9dcb303746bb12d8d83
https://research.ou.nl/en/publications/f1c79eb8-d817-4bd6-a8f6-01104ebc5f1e
https://research.ou.nl/en/publications/f1c79eb8-d817-4bd6-a8f6-01104ebc5f1e
Autor:
Lodder, J., Heeren, B.J., Jeuring, J.T., Intelligent Software Systems, Software Technology for Learning and Teaching, Sub General Intelligent Software Syst., Sub Softw.Techn. for Learning and Teach., Dep Informatica
Publikováno v:
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software: EPTCS 313 Natal, Brazil, 25th August 2019
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
Electronic Proceedings in Theoretical Computer Science, EPTCS, 313. Open Publishing Association
Lodder, J S, Heeren, B J & Jeuring, J T 2020, Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction . in P Quaresma, W Neuper & J Marcos (eds), Proceedings 8th International Workshop on Theorem Proving Components for Educational Software : EPTCS 313 Natal, Brazil, 25th August 2019 . Cornell University, Electronic proceedings in theoretical computer science, vol. 313, pp. 17–34, 8th International Workshop on Theorem proving components for Educational software, Natal, Brazil, 25/08/19 . https://doi.org/10.4204/EPTCS.313.2
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
Electronic Proceedings in Theoretical Computer Science, EPTCS, 313. Open Publishing Association
Lodder, J S, Heeren, B J & Jeuring, J T 2020, Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction . in P Quaresma, W Neuper & J Marcos (eds), Proceedings 8th International Workshop on Theorem Proving Components for Educational Software : EPTCS 313 Natal, Brazil, 25th August 2019 . Cornell University, Electronic proceedings in theoretical computer science, vol. 313, pp. 17–34, 8th International Workshop on Theorem proving components for Educational software, Natal, Brazil, 25/08/19 . https://doi.org/10.4204/EPTCS.313.2
Structural induction is a proof technique that is widely used to prove statements about discrete structures. Students find it hard to construct inductive proofs, and when learning to construct such proofs, receiving feedback is important. In this pap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::401b373014a441e8109d54fe27bfdb31
https://research.ou.nl/en/publications/94ea985b-7d49-45bc-a703-a23055020648
https://research.ou.nl/en/publications/94ea985b-7d49-45bc-a703-a23055020648
Autor:
Kamps, Sander, Heeren, B.J., Jeuring, J.T., Dep Informatica, Sub Softw.Techn. for Learning and Teach., Afd Informatica Algemeen
Publikováno v:
Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 67. Association for Computing Machinery
STARTPAGE=67;TITLE=Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell
Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell
Haskell 2020
Haskell@ICFP
Kamps, S, Heeren, B & Jeuring, J 2020, Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality . in Haskell 2020 : Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell . Association for Computing Machinery, New York, NY, USA, pp. 67–79, ACM SIGPLAN International Conference on Functional Programming, United States, 23/08/20 . https://doi.org/10.1145/3406088.3409014
STARTPAGE=67;TITLE=Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell
Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell
Haskell 2020
Haskell@ICFP
Kamps, S, Heeren, B & Jeuring, J 2020, Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality . in Haskell 2020 : Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell . Association for Computing Machinery, New York, NY, USA, pp. 67–79, ACM SIGPLAN International Conference on Functional Programming, United States, 23/08/20 . https://doi.org/10.1145/3406088.3409014
Software metrics are used to measure the quality of a software system, and to understand the evolution of the system's quality over time. In this paper we report on an empirical study that investigates whether structural degradation in Haskell system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::596f24a4b2aa8fe4e58952bcd48a51ff
https://dspace.library.uu.nl/handle/1874/414645
https://dspace.library.uu.nl/handle/1874/414645
Producing high-quality code is essential for professionals working on maintainable software. However, awareness of code quality is also important for novices. In addition to writing programs meeting functional requirements, teachers would like to see
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______101::e4419bcd17857ad41df26e859fc9d8fc
https://dspace.library.uu.nl/handle/1874/414696
https://dspace.library.uu.nl/handle/1874/414696
Hypothesis testing involves a complex stepwise procedure that is challenging for many students in introductory university statistics courses. In this paper we assess how feedback from an Intelligent Tutoring System can address the logic of hypothesis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______101::c29cb6ca3fdebcbe5b46b2d765d0bcde
https://dspace.library.uu.nl/handle/1874/409225
https://dspace.library.uu.nl/handle/1874/409225
Autor:
Lodder, J., Heeren, B.J., Jeuring, J.T., Dep Informatica, Sub Softw.Techn. for Learning and Teach., Sub General Intelligent Software Syst., Intelligent Software Systems, Software Technology for Learning and Teaching
Publikováno v:
Journal of Computer Assisted Learning, 35(5), 620. Wiley-Blackwell
Lodder, J, Heeren, B J & Jeuring, J T 2019, ' A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae ', Journal of Computer Assisted Learning, vol. 35, no. 5, pp. 620-632 . https://doi.org/10.1111/jcal.12365
Journal of Computer Assisted Learning, 35(5), 620-632. Wiley
Lodder, J, Heeren, B J & Jeuring, J T 2019, ' A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae ', Journal of Computer Assisted Learning, vol. 35, no. 5, pp. 620-632 . https://doi.org/10.1111/jcal.12365
Journal of Computer Assisted Learning, 35(5), 620-632. Wiley
This article describes an experiment with LogEx, an e‐learning environment that supports students in learning how to prove the equivalence between two logical formulae, using standard equivalences such as DeMorgan. In the experiment, we compare two
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d9240aeb52a5bd3e3f20077e88ad964
https://dspace.library.uu.nl/handle/1874/388899
https://dspace.library.uu.nl/handle/1874/388899
Autor:
van der Bent, Renate, Jeuring, J.T., Heeren, B.J., Scheffel, Maren, Broisin, Julien, Pammer-Schindler, Viktoria, Ioannou, Andri, Schneider, Jan
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030297350
EC-TEL
van der Bent, R, Jeuring, J T & Heeren, B J 2019, The diagnosing behaviour of intelligent tutoring systems . in M Scheffel, J Broisin, V Pammer-Schindler, A Ioannou & J Schneider (eds), Transforming Learning with Meaningful Technologies : 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings . Springer, Cham, Science of Computer Programming, vol. 11722, pp. 112-126, 14th European Conference on Technology Enhanced Learning, Delft, Netherlands, 16/09/19 . https://doi.org/10.1007/978-3-030-29736-7_9
Transforming Learning with Meaningful Technologies: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings, 112-126
STARTPAGE=112;ENDPAGE=126;TITLE=Transforming Learning with Meaningful Technologies
EC-TEL
van der Bent, R, Jeuring, J T & Heeren, B J 2019, The diagnosing behaviour of intelligent tutoring systems . in M Scheffel, J Broisin, V Pammer-Schindler, A Ioannou & J Schneider (eds), Transforming Learning with Meaningful Technologies : 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings . Springer, Cham, Science of Computer Programming, vol. 11722, pp. 112-126, 14th European Conference on Technology Enhanced Learning, Delft, Netherlands, 16/09/19 . https://doi.org/10.1007/978-3-030-29736-7_9
Transforming Learning with Meaningful Technologies: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings, 112-126
STARTPAGE=112;ENDPAGE=126;TITLE=Transforming Learning with Meaningful Technologies
Intelligent Tutoring Systems (ITSs) determine the quality of student responses by means of a diagnostic process, and use this information for providing feedback and determining a student’s progress. This paper studies how ITSs diagnose student resp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6295d7352a38321a376ba6ada34a8c4c
https://doi.org/10.1007/978-3-030-29736-7_9
https://doi.org/10.1007/978-3-030-29736-7_9
Autor:
Keuning, H.W., Heeren, B.J., Jeuring, J.T., Sub General Intelligent Software Syst., Dep Informatica, Sub Softw.Techn. for Learning and Teach., Software Technology for Learning and Teaching, Intelligent Software Systems
Publikováno v:
ITiCSE
Keuning, H W, Heeren, B J & Jeuring, J T 2019, How teachers would help students to improve their code . in ITiCSE ’19 : Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education . Association for Computing Machinery (ACM), New York, pp. 119-125, the 24th Annual Conference on Innovation and Technology in Computer Science Education, Aberdeen, United Kingdom, 15/07/19 . https://doi.org/10.1145/3304221.3319780
ITiCSE ’19: Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 119-125
STARTPAGE=119;ENDPAGE=125;TITLE=ITiCSE ’19
Proceedings of ITiCSE 2019: the 24th Annual Conference on Innovation and Technology in Computer Science Education, 119. ACM
STARTPAGE=119;TITLE=Proceedings of ITiCSE 2019: the 24th Annual Conference on Innovation and Technology in Computer Science Education
Keuning, H W, Heeren, B J & Jeuring, J T 2019, How teachers would help students to improve their code . in ITiCSE ’19 : Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education . Association for Computing Machinery (ACM), New York, pp. 119-125, the 24th Annual Conference on Innovation and Technology in Computer Science Education, Aberdeen, United Kingdom, 15/07/19 . https://doi.org/10.1145/3304221.3319780
ITiCSE ’19: Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 119-125
STARTPAGE=119;ENDPAGE=125;TITLE=ITiCSE ’19
Proceedings of ITiCSE 2019: the 24th Annual Conference on Innovation and Technology in Computer Science Education, 119. ACM
STARTPAGE=119;TITLE=Proceedings of ITiCSE 2019: the 24th Annual Conference on Innovation and Technology in Computer Science Education
Code quality has been receiving less attention than program correctness in both the practice of and research into programming education. Writing poor quality code might be a sign of carelessness, or not fully understanding programming concepts and la
Autor:
Tacoma, S.G., Heeren, B.J., Jeuring, J.T., Drijvers, P.H.M., Isotani, S., Ogan, A., Hastings, P., McLaren, B., Luckin, R.
Hypothesis testing is a challenging topic for many students in introductory university statistics courses. In this paper we explore how automated feedback in an Intelligent Tutoring System can foster students’ ability to carry out hypothesis tests.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______101::539ec9349db9996d8fbd9600f7dda92b
https://dspace.library.uu.nl/handle/1874/382870
https://dspace.library.uu.nl/handle/1874/382870
Autor:
Gerdes, A., Heeren, B.J., Jeuring, J.T., Binsbergen, Thomas~van, Sub Softw.Techn. for Learning and Teach., Sub Algemeen Software Systems, Software Technology for Learning and Teaching
Publikováno v:
Gerdes, A, Heeren, B, Jeuring, J & van Binsbergen, L T 2017, ' Ask-Elle : an Adaptable Programming Tutor for Haskell Giving Automated Feedback ', International Journal of Artificial Intelligence in Education, vol. 27, no. 1, pp. 65-100 . https://doi.org/10.1007/s40593-015-0080-x
International Journal of Artificial Intelligence in Education, 27(1), 65. IOS Press
International Journal of Artificial Intelligence in Education, 27(1), 65-100. Springer
International Journal of Artificial Intelligence in Education, 27(1), 65. IOS Press
International Journal of Artificial Intelligence in Education, 27(1), 65-100. Springer
Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programmi