Activities

Awards
Invited Activities
Event organisation
  • LuxLogAI 2025 Luxembourg Logic & AI Summit, Local Organisation
  • ECSQARU2025 The Eighteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Local Organisation
  • ArgU 2025 First European Workshop on Argumentation and Uncertainty, Co-Chair
  • COMMA2024 The Tenth International Conference on Computational Models of Arguments, Local Organisation
  • FATIL2022 The First International Conference on Foundations, Applications, and Theory of Inductive Logic, Co-Chair
  • ArgStrength2021 The Third Workshop on Argument Strength, Co-Chair
Administrative activities
  • Study Program Organiser 2020 -- 2021, Web and Data Science, University of Koblenz-Landau
  • Member of committee for Communication and Positioning of University Koblenz 2021 -- 2022, University of Koblenz-Landau
Reviewing

Conferences and Workshops

  • International Conference on Computational Models of Argument (COMMA) since 2020
  • International Joint Conference on Artificial Intelligence (IJCAI) since 2021
  • International Conference on Logic and Argumentation (CLAR) 2021 and 2025
  • Workshop on Argument Strength (ArgStrength) 2021
  • Annual AAAI Conference on Artificial Intelligence (AAAI) 2022 and 2024
  • The International Conference on Knowledge Representation and Reasoning (KR) since 2022
  • International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) 2022
  • The International Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2026

Journals

  • Journal of Artificial Intelligence Research (JAIR) since 2020
  • International Journal of Approximate Reasoning (IJA) since 2025
  • Journal of Logic and Computation (JLC) since 2025
  • Journal of Applied Logic (JAL) since 2026
  • Annals of Mathematics and Artificial Intelligence (Ann. Math. Artif. Intell.) since 2026