Follow
Magdalena Kacprzak
Magdalena Kacprzak
Verified email at pb.edu.pl
Title
Cited by
Cited by
Year
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
1192008
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
852004
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
592014
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
522006
Unbounded model checking for alternating-time temporal logic
M Kacprzak, W Penczek
Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004
392004
From bounded to unbounded model checking for temporal epistemic logic
M Kacprzak, A Lomuscio, W Penczek
Fundamenta Informaticae 63 (2-3), 221-240, 2004
342004
A logic for reasoning about persuasion
K Budzyńska, M Kacprzak
Fundamenta Informaticae 85 (1-4), 51-65, 2008
332008
Perseus. software for analyzing persuasion process
K Budzyńska, M Kacprzak, P Rembelski
Fundamenta Informaticae 93 (1-3), 65-79, 2009
282009
Dialogue protocols for formal fallacies
M Kacprzak, O Yaskorska
Argumentation 28 (3), 349-369, 2014
222014
Proving propositional tautologies in a natural dialogue
O Yaskorska, K Budzynska, M Kacprzak
Fundamenta Informaticae 128 (1-2), 239-253, 2013
222013
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
222005
The polish school of argumentation: A manifesto
K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ...
Argumentation 28 (3), 267-282, 2014
202014
Strategies in dialogues: A game-theoretic approach
M Kacprzak, M Dziubiński, K Budzynska
Computational Models of Argument, 333-344, 2014
202014
Unbounded model checking for knowledge and time
M Kacprzak, A Lomuscio, W Penczek
IPI PAN, 2003
202003
Modeling Persuasiveness: change of uncertainty through agents' interactions.
K Budzynska, M Kacprzak, P Rembelski
Frontiers in Artificial Intelligence and Applications 172, 85, 2008
172008
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
162004
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
162004
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
142011
Identification of formal fallacies in a natural dialogue
M Kacprzak, A Sawicka
Fundamenta Informaticae 135 (4), 403-417, 2014
132014
Bounded versus unbounded model checking for interpreted systems
M Kacprzak, A Lomuscio, W Penczek
Fundamenta Informaticae, 2004
102004
The system can't perform the operation now. Try again later.
Articles 1–20