No photo of Nico Roos
1988 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.
  • Extending dynamic logic with refinements of abstract actions

    Roos, N., 21 Feb 2022, (E-pub ahead of print) In: Journal of Logic and Computation. 35 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • A Semantic Tableau Method for Argument Construction

    Roos, N., 2021, Artificial Intelligence and Machine Learning. BNAIC/Benelearn 2020. Baratchi, M., Cao, L., Kosters, W. A., Lijffijt, J., van Rijn, J. N. & Takes, F. W. (eds.). Springer, Vol. 1530. p. 122-140 19 p. (Communications in Computer and Information Science, Vol. 1398).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Open Access
    File
    9 Downloads (Pure)
  • Combining Mental Models with Neural Networks

    Mąka, P., Jansen, J., Antoniou, T., Bahne, T., Müller, K., Türktas, C., Roos, N. & Driessens, K., 2021, Proceedings of BNAIC/BeneLearn 2021: 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning BNAIC/BENELEARN. p. 256-270 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    11 Downloads (Pure)
  • Explainable AI through the Learning of Arguments

    Bei, J., Pomerenke, D., Schreiner, L., Sharbaf, S., Collins, P. & Roos, N., 2021, Proceedings of BNAIC/BeneLearn 2021: 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning BNAIC/BENELEARN. p. 241-255 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    3 Downloads (Pure)
  • A Semantic Tableau Method for Argument Construction

    Roos, N., 2020, BeNeLux Artificial Intellignce Conference (BNAIC) 2020: BNAIC/BeneLearn 2020. Cao, L., Kosters, W. & Lijffijt, J. (eds.). p. 239-253 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    8 Downloads (Pure)