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 | 119 | 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 | 85 | 2004 |
Complete genome sequence of Gluconacetobacter xylinus E25 strain—valuable and effective producer of bacterial nanocellulose K Kubiak, M Kurzawa, M Jędrzejczak-Krzepkowska, K Ludwicka, ... Journal of Biotechnology 176, 18-19, 2014 | 59 | 2014 |
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 | 52 | 2006 |
Unbounded model checking for alternating-time temporal logic M Kacprzak, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 39 | 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 | 34 | 2004 |
A logic for reasoning about persuasion K Budzyńska, M Kacprzak Fundamenta Informaticae 85 (1-4), 51-65, 2008 | 33 | 2008 |
Perseus. software for analyzing persuasion process K Budzyńska, M Kacprzak, P Rembelski Fundamenta Informaticae 93 (1-3), 65-79, 2009 | 28 | 2009 |
Dialogue protocols for formal fallacies M Kacprzak, O Yaskorska Argumentation 28 (3), 349-369, 2014 | 22 | 2014 |
Proving propositional tautologies in a natural dialogue O Yaskorska, K Budzynska, M Kacprzak Fundamenta Informaticae 128 (1-2), 239-253, 2013 | 22 | 2013 |
Fully symbolic unbounded model checking for alternating-time temporal logic1 M Kacprzak, W Penczek Autonomous Agents and Multi-Agent Systems 11 (1), 69-89, 2005 | 22 | 2005 |
The polish school of argumentation: A manifesto K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ... Argumentation 28 (3), 267-282, 2014 | 20 | 2014 |
Strategies in dialogues: A game-theoretic approach M Kacprzak, M Dziubiński, K Budzynska Computational Models of Argument, 333-344, 2014 | 20 | 2014 |
Unbounded model checking for knowledge and time M Kacprzak, A Lomuscio, W Penczek IPI PAN, 2003 | 20 | 2003 |
Modeling Persuasiveness: change of uncertainty through agents' interactions. K Budzynska, M Kacprzak, P Rembelski Frontiers in Artificial Intelligence and Applications 172, 85, 2008 | 17 | 2008 |
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 | 16 | 2004 |
A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic M Kacprzak, W Penczek Information, Interaction and Agency, 263-287, 2004 | 16 | 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 |
Identification of formal fallacies in a natural dialogue M Kacprzak, A Sawicka Fundamenta Informaticae 135 (4), 403-417, 2014 | 13 | 2014 |
Bounded versus unbounded model checking for interpreted systems M Kacprzak, A Lomuscio, W Penczek Fundamenta Informaticae, 2004 | 10 | 2004 |