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 | 57 | 2006 |

Unbounded model checking for alternating-time temporal logic M Kacprzak, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 52 | 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 | 35 | 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 Logic^{1}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 | 25 | 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 |

Metasets and opinion mining in new decision support system M Kacprzak, B Starosta, K Węgrzyn-Wolska Artificial Intelligence and Soft Computing: 14th International Conference …, 2015 | 11 | 2015 |