| 2023 | ECAI | SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny |
| 2021 | KR | Satisfiability Checking of Strategy Logic with Simple Goals. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |
| 2021 | VECoS | SMT-Based Unbounded Model Checking for ATL. | Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
| 2020 | KR | SAT-Based ATL Satisfiability Checking. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |
| 2019 | ICAISC | SMT-Based Encoding of Argumentation Dialogue Games. | Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny |
| 2018 | ICAISC | Modelling the Affective Power of Locutions in a Persuasive Dialogue Game. | Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny |
| 2016 | ICAISC | Towards Verification of Dialogue Protocols: A Mathematical Model. | Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny |
| 2015 | ICAISC | Metasets and Opinion Mining in New Decision Support System. | Magdalena Kacprzak, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska |
| 2014 | COMMA | Strategies in Dialogues: A Game-Theoretic Approach. | Magdalena Kacprzak, Marcin Dziubinski, Katarzyna Budzynska |
| 2013 | ICAISC | Diversity of Opinion Evaluated by Ordered Fuzzy Numbers. | Magdalena Kacprzak, Witold Kosinski, Katarzyna Wegrzyn-Wolska |
| 2012 | ICAISC | Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two. | Magdalena Kacprzak, Witold Kosinski, Piotr Prokopowicz |
| 2012 | KES | Reasoning about Dialogical Strategies. | Magdalena Kacprzak, Katarzyna Budzynska |
| 2012 | KES | A logic for strategies in persuasion dialogue games. | Magdalena Kacprzak, Katarzyna Budzynska, Olena Yaskorska |
| 2011 | EUSFLAT | On lattice structure and implications on ordered fuzzy numbers. | Magdalena Kacprzak, Witold Kosinski |
| 2009 | ISMIS | Logic for Reasoning about Components of Persuasive Actions. | Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski |
| 2008 | COMMA | Modeling Persuasiveness: change of uncertainty through agents' interactions. | Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski |