| Verics 2007-a model checker for knowledge and real-time M Kacprzak, W Nabiałek, A Niewiadomski, W Penczek, A Półrola, ... Fundamenta Informaticae 85 (1-4), 313-328, 2008 | 127 | 2008 |
| Verification of multiagent systems via unbounded model checking M Kacprzak, A Lomuscio, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 98 | 2004 |
| Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol M Kacprzak, A Lomuscio, A Niewiadomski, W Penczek, F Raimondi, ... Fundamenta Informaticae 72 (1-3), 215-234, 2006 | 56 | 2006 |
| Unbounded model checking for alternating-time temporal logic M Kacprzak, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 51 | 2004 |
| From bounded to unbounded model checking for temporal epistemic logic M Kacprzak, A Lomuscio, W Penczek Fundamenta Informaticae 63 (2-3), 221-240, 2004 | 37 | 2004 |
| A logic for reasoning about persuasion K Budzyńska, M Kacprzak Fundamenta Informaticae 85 (1-4), 51-65, 2008 | 34 | 2008 |
| Perseus. software for analyzing persuasion process K Budzyńska, M Kacprzak, P Rembelski Fundamenta Informaticae 93 (1-3), 65-79, 2009 | 29 | 2009 |
| Dialogue protocols for formal fallacies M Kacprzak, O Yaskorska Argumentation 28, 349-369, 2014 | 28 | 2014 |
| Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1 M Kacprzak, W Penczek Autonomous Agents and Multi-Agent Systems 11, 69-89, 2005 | 28 | 2005 |
| Proving propositional tautologies in a natural dialogue O Yaskorska, K Budzynska, M Kacprzak Fundamenta Informaticae 128 (1-2), 239-253, 2013 | 24 | 2013 |
| The polish school of argumentation: A manifesto K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ... Argumentation 28, 267-282, 2014 | 23 | 2014 |
| Strategies in dialogues: A game-theoretic approach M Kacprzak, M Dziubiński, K Budzynska Computational Models of Argument, 333-344, 2014 | 22 | 2014 |
| Unbounded model checking for knowledge and time M Kacprzak, A Lomuscio, W Penczek IPI PAN, 2003 | 21 | 2003 |
| Verifying multi-agent systems via unbounded model checking M Kacprzak, A Lomuscio, T Łasica, W Penczek, M Szreter International Workshop on Formal Approaches to Agent-Based Systems, 189-212, 2004 | 19 | 2004 |
| Identification of formal fallacies in a natural dialogue M Kacprzak, A Sawicka Fundamenta Informaticae 135 (4), 403-417, 2014 | 17 | 2014 |
| Modeling Persuasiveness: change of uncertainty through agents’ interactions P Besnard Computational Models of Argument: Proceedings of COMMA 2008 172, 85, 2008 | 16 | 2008 |
| A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic M Kacprzak, W Penczek Synthese 142, 203-227, 2004 | 15 | 2004 |
| On lattice structure and implications on ordered fuzzy numbers M Kacprzak, W Kosinski Proceedings of the 7th conference of the European Society for Fuzzy Logic …, 2011 | 14 | 2011 |
| MsATL: A tool for SAT-based ATL satisfiability checking A Niewiadomski, M Kacprzak, D Kurpiewski, M Knapik, W Penczek, ... arXiv preprint arXiv:2310.16519, 2023 | 12 | 2023 |
| SAT-based ATL satisfiability checking M Kacprzak, A Niewiadomski, W Penczek arXiv preprint arXiv:2002.03117, 2020 | 9 | 2020 |
