Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Sub General Intelligent Software Syst."'
Autor:
de Wit, Vincent, Doder, Dragan, Meyer, John-Jules, Sub Intelligent Systems, Sub General Intelligent Software Syst., Intelligent Systems
Publikováno v:
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 10(2), 193
In this article, we present a proof-theoretical and model-theoretical approach to probabilistic logic for reasoning about uncertainty about normative state- ments. We introduce two logics with languages that extend both the language of monadic deonti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::15f90de7b84f1bc961a3d764b5eb428d
https://dspace.library.uu.nl/handle/1874/428407
https://dspace.library.uu.nl/handle/1874/428407
Autor:
Keuning, Hieke, Heeren, Bastiaan, Jeuring, Johan, Sub Softw.Techn. for Learning and Teach., Sub General Intelligent Software Syst., Dep Informatica, Software Technology for Learning and Teaching
Publikováno v:
SIGCSE
SIGCSE '21: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education, 562. Association for Computing Machinery
STARTPAGE=562;TITLE=SIGCSE '21: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education
SIGCSE '21: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education, 562. Association for Computing Machinery
STARTPAGE=562;TITLE=SIGCSE '21: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education
In the last few decades, numerous tutoring systems and assessment tools have been developed to support students with learning programming, giving hints on correcting errors, showing which test cases do not succeed, and grading their overall solutions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b21f43b37ab818a0fc0341aa77a9ca8
https://doi.org/10.1145/3408877.3432526
https://doi.org/10.1145/3408877.3432526
Autor:
Syed, Shaheen, Borit, Melania, Spruit, Marco, Sub General Intelligent Software Syst., Sub Organization and Information, Organization and Information, Intelligent Software Systems
Publikováno v:
Fish and Fisheries, 19(4), 643. Wiley-Blackwell Publishing Ltd
Fish and Fisheries
Fish and Fisheries
Link to publisher's version: https://doi.org/10.1111/faf.12280 Despite increased fisheries science output and publication outlets, the global crisis in fisheries management is as present as ever. Since a narrow research focus may be a contributing fa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dd31a3704dcf41828fe9a2d93ccf352
https://doi.org/10.1111/faf.12280
https://doi.org/10.1111/faf.12280
Autor:
Syed, S, ní Aodha, L, Scougal, C, Spruit, M.R., Sub General Intelligent Software Syst., Sub Natural Language Processing, Intelligent Software Systems, Natural Language Processing
Publikováno v:
Fish and Fisheries, 20(5), 830. Wiley-Blackwell Publishing Ltd
As socio‐environmental problems have proliferated over the past decades, one narrative which has captured the attention of policymakers and scientists has been the need for collaborative research that spans traditional boundaries. Collaboration, it
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::795a7e7546beb4f9297e11a7f967e75f
https://doi.org/10.1111/faf.12379
https://doi.org/10.1111/faf.12379
Autor:
de Wit, Vincent, Doder, Dragan, Meyer, John-Jules, Vejnarová, Jiřina, Wilson, Nic, Sub Intelligent Systems, Sub General Intelligent Software Syst., Intelligent Systems
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030867713
ECSQARU
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 12897(1), 616. Springer, Cham
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 12897(1), 616. Springer Cham
ECSQARU
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 12897(1), 616. Springer, Cham
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 12897(1), 616. Springer Cham
In this article, we introduce a logic for reasoning about probability of normative statements. We present its syntax and semantics, describe the corresponding class of models, provide an axiomatization for this logic and prove that the axiomatization
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d507896f6ffe862190481ca33241faa9
https://doi.org/10.1007/978-3-030-86772-0_44
https://doi.org/10.1007/978-3-030-86772-0_44
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:
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e754f1229e6fbb8000eb2ccf67df24c4
https://doi.org/10.1145/3304221.3319780
https://doi.org/10.1145/3304221.3319780
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:
Syed, Shaheen, Weber, Charlotte Teresa, Software Systems, Sub General Intelligent Software Syst.
Publikováno v:
Reviews in Fisheries Science & Aquaculture
Reviews in Fisheries Science & Aquaculture, 26(3), 319. Taylor and Francis Ltd.
Reviews in Fisheries Science & Aquaculture, 26(3), 319. Taylor and Francis Ltd.
Source at https://doi.org/10.1080/23308249.2017.1416331. Modeling has become the most commonly used method in fisheries science, with numerous types of models and approaches available today. The large variety of models and the overwhelming amount of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9df03d5aea8dec203135b78b437af629
https://hdl.handle.net/10037/14452
https://hdl.handle.net/10037/14452
Autor:
Syed, S., Spruit, M., Sub General Intelligent Software Syst., Sub Organization and Information, Organization and Information
Publikováno v:
ICSC
2018 IEEE 12th International Conference on Semantic Computing (ICSC)
12th IEEE International Conference on Semantic Computing, 194. IEEE
STARTPAGE=194;TITLE=12th IEEE International Conference on Semantic Computing
2018 IEEE 12th International Conference on Semantic Computing (ICSC)
12th IEEE International Conference on Semantic Computing, 194. IEEE
STARTPAGE=194;TITLE=12th IEEE International Conference on Semantic Computing
Latent Dirichlet Allocation (LDA) has gained much attention from researchers and is increasingly being applied to uncover underlying semantic structures from a variety of corpora. However, nearly all researchers use symmetrical Dirichlet priors, ofte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639ce810f17edcbe83a76fda5a0ceac8
https://doi.org/10.1109/icsc.2018.00035
https://doi.org/10.1109/icsc.2018.00035