Department of Computer Science

Search results

  • Conference Article in proceeding

    PrDK: Protocol Programming with Automata

    Jongmans, S.-S. & Arbab, F., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J.-F. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 547-552 6 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Presence Patterns and Privacy Analysis

    Roubtsova, E. E., Roubtsov, S. A. & Alpár, G., 30 Jun 2018, Business Modeling and Software Design: 8th International Symposium, BMSD 2018. Vienna, Austria, July 2-4, 2018. Proceedings. van der Aalst, W., Mylopoulos, J., Rosemann, M., Shaw, M. J. & Szyperski, C. (eds.). Cham: Springer, Vol. 319. p. 298-307 10 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    75 Downloads (Pure)

  • Principles to facilitate design-based learning environments for programming in secondary education while making learning visible in an authentic way

    van Zadelhoff, B., Rahimi, E. & Barendsen, E., 18 Nov 2021, Proceedings of 21st Koli Calling International Conference on Computing Education Research, Koli Calling 2021. Seppälä, O. & Petersen, A. (eds.). Association for Computing Machinery (ACM), 10 p. 12

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

    Różowski, W., Kappé, T., Kozen, D., Schmid, T. & Silva, A., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 261. 20 p. 136. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 261).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Probabilistic Strategy Logic with Degrees of Observability

    Mu, C., Motamed, N., Alechina, N. & Logan, B., 11 Apr 2025, Special Track on AI Alignment. Walsh, T., Shah, J. & Kolter, Z. (eds.). 14 ed. Association for the Advancement of Artificial Intelligence, p. 15092-15099 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 14, Vol. 39).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Probabilistic Temporal Logic for Reasoning about Bounded Policies

    Motamed, N., Alechina, N., Dastani, M., Doder, D. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 3296-3303 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Programming in Protocols - A Paradigm of Behavioral Programming

    McNeile, A. T. & Roubtsova, E. E., 2008, ENASE 2008: 3rd International Conference on Evaluation of Novel Approaches to Software Engineering. INSTICC Press, p. 23-30 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced

    Seraj, M., Verano Merino, M., Rahimi, E. & Ochoa Venegas, L., 17 Oct 2024, SPLASH-E 2024: 2024 ACM SIGPLAN International Symposium on SPLASH-E. Hermans, F. & Bohrer, R. (eds.). p. 45-55

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Program Synthesis Using Example Propagation

    Mulleners, N., Jeuring, J. & Heeren, B., Jan 2023, Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). 1 ed. Springer, Cham, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13880 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Progressions and Innovations in Model-Driven Software Engineering: EXTREME: EXecuTable Requirements Engineering, Management, and Evolution

    Roubtsova, E. E., Jun 2013, Progressions and Innovations in Model-Driven Software Engineering. García Díaz, V., Cueva Lovelle, J. M., Pelayo García-Bustelo, B. C. & Sanjuán Martinez, O. (eds.). Hershey: IGI Global, p. 65-89 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Professional

  • Property Driven Mining in Workflow Logs

    Roubtsova, E. E., 2005, Intelligent Information Processing and Web Mining: Proceedings of the International IIS: IIPWM’ 05 Conference. Kłopotek, M. A., Wierzchoń, S. T. & Trojanowski, K. (eds.). Berlin: Springer Heidelberg, Vol. 31. p. 471-475 5 p. (Advances in Soft Computing, Vol. 31).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Protocol Modelling Semantics for Embedded Systems

    McNeile, A. T. & Roubtsova, E. E., 2007, 2007 International Symposium on Industrial Embedded Systems. United States: IEEE, p. 258-265 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Protocol Models of Human-Computer Interaction

    McNeile, A. T., Roubtsova, E. E. & Veer, G. C. V. D., 2008, ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems. Cordeiro, J. & Filipe, J. (eds.). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., Vol. 3. p. 367-370 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    42 Downloads (Pure)

  • Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

    Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 28 Feb 2020, Proceedings 8th International Workshop on Theorem Proving Components for Educational Software : EPTCS 313 Natal, Brazil, 25th August 2019. Quaresma, P., Neuper, W. & Marcos, J. (eds.). Cornell University, Vol. 313. p. 17–34 18 p. (Electronic proceedings in theoretical computer science, Vol. 313).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    70 Downloads (Pure)

  • Prut4j - Protocol Unit Testing fo(u)r Java

    Slob, F. J. & Jongmans, S.-S., 25 May 2021, 2021 IEEE 14th International Conference on Software Testing, Verification and Validation: ICST 2021. IEEE, p. 448-453 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Pure-Past Action Masking

    Varricchione, G., Alechina, N. A., Dastani, M., De Giacomo, G., Logan, B. & Perelli, G., 25 Mar 2024, Proceedings of the 38th AAAI International Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 19 ed. Association for the Advancement of Artificial Intelligence, Vol. 38. p. 21646-21655 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Q-learning strategies for action selection in the TESTAR automated testing tool

    Esparcia-Alcazar, A., Almenar, F., Martınez, M., Rueda, U. & Vos, T. E. J., 2016, Proceedings of the 6TH International Conference on Metaheuristics and Nature Inspired Computing: META’2016. p. 174-180 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Ranking-based Argumentation Semantics Applied to Logical Argumentation

    Heyninck, J., Raddaoui, B. & Straßer, C., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 3268-3276 9 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2023-August).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Realisability of Branching Pomsets

    Edixhoven, L. & Jongmans, S.-S., 2 Nov 2022, Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. S. L. T. T. & J. P. (eds.). Cham: Springer, Cham, Vol. 13712. p. 185-204 20 p. (Lecture Notes in Computer Science, Vol. 13712).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Realisability of Ranking-based Semantics

    Skiba, K., Thimm, M., Rienstra, T., Heyninck, J. L. A. & Kern-Isberner, G., Oct 2022, SAFA’22: Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022. S. A. G., J.-G. M., M. T. & Johannes P. Wallner (eds.). CEUR-WS.org, Vol. 3236. p. 73-85 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Real-Time Multimodal Feedback with the CPR Tutor

    Di Mitri, D., Schneider Barnes, J., Trebing, K., Sopka, S., Specht, M. M. & Drachsler, H. J., 30 Jun 2020, Artificial Intelligence in Education: 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I. Bittencourt, I. I., Cukurova, M., Muldner, K., Luckin, R. & Millán, E. (eds.). Cham: Springer International Publishing, Vol. 1. p. 141-152 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12163). (Lecture Notes in Artificial Intelligence (subseries), Vol. 12163).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Reasoning on Models Combining Objects and Aspects

    Roubtsova, E. E., 2012, International Symposium on Business Modeling and Software Design : BMSD 2011: Business Modeling and Software Design. Shishkov, B. (ed.). Heidelberg: Springer, Vol. 109. p. 1-18 18 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Reconstructing Timelines: From NTFS Timestamps to File Histories

    Bouma, J., Jonker, H. L., van der Meer, V. & van den Aker, E., 29 Aug 2023, ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security. New York: Association for Computing Machinery (ACM), 9 p. 154

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Reinforcement Learning and Fuzzy Logic Modelling for Personalized Dynamic Treatment

    Locatelli, M., Cerioli, R. C., Besozzi, D., Hommersom, A. & Stella, F., 2024, Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024). Calimeri, F., Dragoni, M. & Stella, F. (eds.). CEUR-WS.org, Vol. 3880. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Reinforcement Learning for Scriptless Testing: An Empirical Investigation of Reward Functions

    Rodríguez-Valdés, O., Vos, T. E. J., Marín, B. & Aho, P., May 2023, Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference, RCIS 2023, Proceedings. Nurcan, S., Opdahl, A. L., Mouratidis, H. & Tsohou, A. (eds.). 1 ed. Springer Science and Business Media Deutschland GmbH, p. 136-153 18 p. (Lecture Notes in Business Information Processing, Vol. 476 LNBIP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Relevance in the Computation of Non-monotonic Inferences

    Heyninck, J. L. A. & Meyer, T., 2022, Artificial Intelligence Research - Third Southern African Conference, SACAIR 2022, Proceedings. Anban Pillay, Edgar Jembere & Aurona Gerber (eds.). 1 ed. Cham: Springer, Cham, Vol. 1734. p. 202-214 13 p. (Communications in Computer and Information Science (CCIS), Vol. 1734).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • ReMashed – Recommendations for Mash-Up Personal Learning Environments

    Drachsler, H., Pecceu, D., Arts, T., Hutten, E., Rutledge, L., Van Rosmalen, P., Hummel, H. & Koper, R., 16 Nov 2009, Learning in the Synergy of Multiple Disciplines: EC-TEL 2009. (Lecture Notes in Computer Science, Vol. 5794).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    35 Downloads (Pure)

  • Representation of abstract concepts: Differences across computing disciplines

    Benvenuti, L., Louwe Kooijmans, C. F. N., Versendaal, J. M. & van der Veer, G., 2015, 2015 IEEE Frontiers in Education Conference Proceedings: FIE 2015 . Washington: IEEE Computer Society, p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Representing Hypoexponential Distributions in Continuous Time Bayesian Networks

    Liu, M., Stella, F., Hommersom, A. & Lucas, P. J. F., 2018, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications. Medina, J., Ojeda-Aciego, M., Verdegay, J. L., Perfilieva, I., Bouchon-Meunier, B. & Yager, R. R. (eds.). Cham: Springer International Publishing AG, Vol. 855. p. 565-577 13 p. (Communications in Computer and Information Science, Vol. 855).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Reproduction for Insight: Towards Better Understanding the Quality of Students Tests

    Lawende, M., Passier, H. J. M. & Alpár, G., 26 Jun 2021, ITiCSE 2021 - Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, Vol. 1. p. 213-219 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Responsible Digital Security Behaviour: Definition and Assessment Model

    Maathuis, C. & Chockalingam, S., 8 Jun 2022, Proceedings of the 21st European Conference on Cyber Warfare and Security. Eze, T., Khan, N. & Onwubiko, C. (eds.). 1 ed. Academic Conferences Ltd, Vol. 21. p. 178-187 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Reverse Bayesian poisoning: how to use spam filters to manipulate online elections

    Jonker, H., Mauw, S. & Schmitz, T., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O. & Schürmann, C. (eds.). Springer Nature Switzerland AG, p. 183-197 15 p. (Lecture Notes in Computer Science; No. 10615).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors

    Serebrenik, A., Roubtsov, S. A., Roubtsova, E. E. & Brand, M. V. D., 17 Nov 2009, Working Conference on Reverse Engineering. Inited States: IEEE, p. 269-273 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Revising Beliefs and Intentions in Stochastic Environments

    Motamed, N., Alechina, N., Dastani, M. & Doder, D., 9 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence: Main Track. Larson, K. (ed.). p. 3513-3522 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Revising Typical Beliefs: One Revision to Rule Them All

    Heyninck, J., Casini, G., Meyer, T. & Straccia, U., Sept 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Cao Son, T. & Kern-Isberner, G. (eds.). IJCAI Organization, p. 355-364 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

    Kandziora, J., Huisman, M., Bockisch, C. M. & Zaharieva-Stojanovski, M., Jul 2015, FTfJP '15: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 8

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Run-time Monitoring for Robot-Assisted Surgery

    Gogoladze, K., Alechina, N., Hu, Z. J., Xu, H., van Jaarsveld, R. & Ruurda, J. P., 2024, OVERLAY 2024. CEUR, p. 127-133 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project

    Jongmans, S.-S. & Hamers, R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 489-508 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment

    Lala, R., Jeuring, J. & van Geest, M., 1 Nov 2019, Games and Learning Alliance: 8th International Conference, GALA 2019, Athens, Greece, November 27–29, 2019, Proceedings. Liapis, A., Yannakakis, G. N., Gentile, M. & Ninaus, M. (eds.). Cham: Springer International Publishing AG, p. 169-179 11 p. (Lecture Notes in Computer Science, Vol. 11899).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    126 Downloads (Pure)

  • Scheduling Games for Concurrent Systems

    Dokter, K., Jongmans, S.-S. & Arbab, F., 2016, Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lafuente, A. L. & Proença, J. (eds.). Cham: Springer International Publishing, p. 84-100 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9686). (Programming and Software Engineering LNPSE, Vol. 9686).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Scriptless and Seamless: Leveraging Probabilistic Models for Enhanced GUI Testing in Native Android Applications

    Rodríguez-Valdés, O., van der Vlist, K., van Dalen, R., Marín, B. & Vos, T. E. J., 2024, Research Challenges in Information Science - 18th International Conference, RCIS 2024, Proceedings. Araújo, J., de la Vara, J. L., Santos, M. Y. & Assar, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 83-91 9 p. (Lecture Notes in Business Information Processing, Vol. 514 LNBIP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Scriptless GUI Testing on Mobile Applications

    Jansen, T., Ricos, F. P., Luo, Y., Van Der Vlist, K., Van Dalen, R., Aho, P. & Vos, T. E. J., Mar 2023, Proceedings: 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022. Institute of Electrical and Electronics Engineers Inc., p. 1103-1112 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Scriptless Testing at the GUI Level in an Industrial Setting

    Chahim, H., Duran, M., Vos, T. E. J., Aho, P. K. & Condori-Fernández, N., 25 Sept 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 267-284 18 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Security Requirements for Proctoring in Higher Education

    Luijben, R., van den Broek, F. & Alpár, G., 2024, EDUCON 2024 - IEEE Global Engineering Education Conference, Proceedings. IEEE Computer Society Press, p. 1-5 (IEEE Global Engineering Education Conference Proceedings, EDUCON).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives

    Meijer, C. & van Gastel, B. E., 19 May 2019, 2019 IEEE Symposium on Security and Privacy SP 2019: Proceedings. IEEE, p. 72-87 16 p. (Ieee Security & Privacy).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Semantic Equivalence of Task-Oriented Programs in TopHat

    Klijnsma, T. & Steenvoorden, T., 2022, Trends in Functional Programming - 23rd International Symposium, TFP 2022, Revised Selected Papers. Swierstra, W. & Wu, N. (eds.). Springer Nature, p. 100-125 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13401 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning

    Rușeți, Ș., Lala, R., Gutu-Robu, G., Dascălu, M., Jeuring, J. T. & Van Geest, M., 21 Jun 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., Hastings, P., McLaren, B. & Luckin, R. (eds.). Cham: Springer, Vol. 2. p. 242-246 5 p. (Lecture Notes in Computer Science, Vol. 11626).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    178 Downloads (Pure)

  • Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report)

    Heyninck, J., Sept 2023, Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023). Sauerwald, K. & Thimm, M. (eds.). CEUR-WS, Vol. 3464. p. 74-83 10 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Semantics for Non-Flat Assumption-Based Argumentation, Revisited

    Heyninck, J. & Arieli, O., 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (ed.). International Joint Conferences on Artificial Intelligence, p. 3413-3420 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Set the right example when teaching programming: Test Informed Learning with Examples (TILE)

    Doorn, N., Vos, T., Marin, B. & Barendsen, E., May 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023. Institute of Electrical and Electronics Engineers Inc., p. 269-280 12 p. (IEEE International Conference on Software Testing, Verification and Validation (ICST): Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review