Community Activities
Organisation
- PC co-chair of Description Logic Workshop (DL) 2024
- PC co-chair of Special Track on Reasoning, Learning, and Decision Making at the International Conference on Principles of Knowledge Representation and Reasoning (KR) 2024
- Co-Founder and Organiser of Online Seminar of the Description Logic Community (2023-2024)
- Member of Steering Committee of the Description Logic Workshop (2021-2024)
- General Chair of Description Logic Workshop (DL) 2022
- Sponsorship Chair of Description Logic Workshop (DL) 2021
- Proceedings Chair of International Conference on Database Theory (ICDT) 2020
- Co-Editor for Special Issue for ICDT in Logical Methods in Computer Science 2020
- Sponsorship Co-Chair of International Conference on Knowledge Representation and Reasoning (KR) 2020
- Sponsorship Co-Chair of Description Logic Workshop (DL) 2020
- Publicity Chair of International Joint Conference on Rules and Reasoning (RuleML+RR) 2020
Program Committee Memberships
2024
- Area Chair of the International Conference on Principles of Knowledge Representation and Reasoning (KR) 2024
- Senior PC member of European Conference on Artificial Intelligence (ECAI)
- PC member of International Joint Conference on Artificial Intelligence (IJCAI)
2023
- PC member of International Conference on Principles of Knowledge Representation and Reasoning (KR)
- PC member of International Joint Conference on Artificial Intelligence (IJCAI)
- PC member of International Workshop on Description Logics (DL)
- PC member of AAAI Conference on Artificial Intelligence (AAAI)
- PC member of European Conference on Artificial Intelligence (ECAI)
- PC member of Workshop on the Decision Problem in First-Order Logic (satellite workshop at LICS)
2022
- PC member of International Conference on Principles of Knowledge Representation and Reasoning (KR)
- PC member of International Joint Conference on Artificial Intelligence (IJCAI)
- PC member of International Workshop on Description Logics (DL)
2021
- Senior PC member of International Joint Conference on Artificial Intelligence (IJCAI)
- PC member of International Conference on Principles of Knowledge Representation and Reasoning (KR)
- PC member of AAAI Conference on Artificial Intelligence (AAAI)
- PC member of International Symposium on Temporal Representation and Reasoning (TIME)
- PC member of International Symposium on Frontiers of Combining Systems (FroCoS)
- PC member of International Workshop on Description Logics (DL)
2020
- PC member of International Joint Conference on Artificial Intelligence (IJCAI)
- PC member of AAAI Conference on Artificial Intelligence (AAAI)
- PC member of International Symposium on Temporal Representation and Reasoning (TIME)
- PC member of International Workshop on Description Logics (DL)
2019
- PC member of International Joint Conference on Artificial Intelligence (IJCAI)
- PC member of AAAI Conference on Artificial Intelligence (AAAI)
- PC member of International Symposium on Frontiers of Combining Systems (FroCoS)
- PC member of International Workshop on Description Logics (DL)
- PC member of German Conference on Artificial Intelligence (KI)
2018
- PC member of International Joint Conference on Artificial Intelligence (IJCAI)
- PC member of International Workshop on Description Logics (DL)
- PC member of German Conference on Artificial Intelligence (KI)