- SAT-Based Approaches to Reasoning in Choice Logics @ ECAI’24, Santiago de Compostela, Spain
- On Computing Admissibility in ABA @ COMMA’24, Hagen, Germany
- Argumentative Reasoning in ASPIC+ under Incomplete Information @ KR’23, Rhodes, Greece
- Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report @ KR’23, Rhodes, Greece
- Computational Approaches to Reasoning in Structured Argumentation (thesis defense) @ University of Helsinki, Finland
- Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation @ COMMA’22, Cardiff, UK
- Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism @ KR’22, Haifa, Israel
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation @ ICLP’21, online
- An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework @ KR’20, online
- Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings @ AAAI’19, Honolulu, USA
- Included both a talk and a poster presentation
- SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks @ COMMA’18, Warsaw, Poland
