Magdalena Kacprzak
Magdalena Kacprzak
Technical University of Bialystok
Geverifieerd e-mailadres voor pb.edu.pl
TitelGeciteerd doorJaar
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
1032008
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
772004
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
472006
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
382014
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
Unbounded model checking for alternating-time temporal logic
M Kacprzak, W Penczek
Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004
322004
Perseus. software for analyzing persuasion process
K Budzyńska, M Kacprzak, P Rembelski
Fundamenta Informaticae 93 (1-3), 65-79, 2009
252009
A logic for reasoning about persuasion
K Budzyńska, M Kacprzak
Fundamenta Informaticae 85 (1-4), 51-65, 2008
252008
Proving propositional tautologies in a natural dialogue
O Yaskorska, K Budzynska, M Kacprzak
Fundamenta Informaticae 128 (1-2), 239-253, 2013
212013
Dialogue protocols for formal fallacies
M Kacprzak, O Yaskorska
Argumentation 28 (3), 349-369, 2014
192014
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
182005
Unbounded model checking for knowledge and time
M Kacprzak, A Lomuscio, W Penczek
IPI PAN, 2003
182003
The polish school of argumentation: A manifesto
K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ...
Argumentation 28 (3), 267-282, 2014
172014
Strategies in Dialogues: A Game-Theoretic Approach.
M Kacprzak, M Dziubinski, K Budzynska
COMMA, 333-344, 2014
172014
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
Modeling Persuasiveness: change of uncertainty through agents' interactions.
K Budzynska, M Kacprzak, P Rembelski
Frontiers in Artificial Intelligence and Applications 172, 85, 2008
152008
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
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
142004
Identification of formal fallacies in a natural dialogue
M Kacprzak, A Sawicka
Fundamenta Informaticae 135 (4), 403-417, 2014
132014
Undecidability of a multi-agent logic
M Kacprzak
Fundamenta Informaticae 54 (2-3), 213-220, 2003
92003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20