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
1272008
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
982004
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
572006
Unbounded model checking for alternating-time temporal logic
M Kacprzak, W Penczek
Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004
522004
From bounded to unbounded model checking for temporal epistemic logic
M Kacprzak, A Lomuscio, W Penczek
Fundamenta Informaticae 63 (2-3), 221-240, 2004
372004
A logic for reasoning about persuasion
K Budzyńska, M Kacprzak
Fundamenta Informaticae 85 (1-4), 51-65, 2008
352008
Perseus. software for analyzing persuasion process
K Budzyńska, M Kacprzak, P Rembelski
Fundamenta Informaticae 93 (1-3), 65-79, 2009
292009
Dialogue protocols for formal fallacies
M Kacprzak, O Yaskorska
Argumentation 28, 349-369, 2014
282014
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1
M Kacprzak, W Penczek
Autonomous Agents and Multi-Agent Systems 11, 69-89, 2005
282005
Proving propositional tautologies in a natural dialogue
O Yaskorska, K Budzynska, M Kacprzak
Fundamenta Informaticae 128 (1-2), 239-253, 2013
252013
The polish school of argumentation: A manifesto
K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ...
Argumentation 28, 267-282, 2014
232014
Strategies in dialogues: A game-theoretic approach
M Kacprzak, M Dziubiński, K Budzynska
Computational Models of Argument, 333-344, 2014
232014
Unbounded model checking for knowledge and time
M Kacprzak, A Lomuscio, W Penczek
IPI PAN, 2003
212003
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
192004
Identification of formal fallacies in a natural dialogue
M Kacprzak, A Sawicka
Fundamenta Informaticae 135 (4), 403-417, 2014
172014
Modeling Persuasiveness: change of uncertainty through agents’ interactions
P Besnard
Computational Models of Argument: Proceedings of COMMA 2008 172, 85, 2008
162008
A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
M Kacprzak, W Penczek
Synthese 142, 203-227, 2004
152004
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
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
122023
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
122015
The system can't perform the operation now. Try again later.
Articles 1–20