팔로우
Magdalena Kacprzak
Magdalena Kacprzak
pb.edu.pl의 이메일 확인됨
제목
인용
인용
연도
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
1242008
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
862004
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
632014
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
562006
Unbounded model checking for alternating-time temporal logic
M Kacprzak, W Penczek
Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004
452004
From bounded to unbounded model checking for temporal epistemic logic
M Kacprzak, A Lomuscio, W Penczek
Fundamenta Informaticae 63 (2-3), 221-240, 2004
352004
A logic for reasoning about persuasion
K Budzyńska, M Kacprzak
Fundamenta Informaticae 85 (1-4), 51-65, 2008
322008
Perseus. software for analyzing persuasion process
K Budzyńska, M Kacprzak, P Rembelski
Fundamenta Informaticae 93 (1-3), 65-79, 2009
272009
Proving propositional tautologies in a natural dialogue
O Yaskorska, K Budzynska, M Kacprzak
Fundamenta Informaticae 128 (1-2), 239-253, 2013
242013
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1
M Kacprzak, W Penczek
Autonomous Agents and Multi-Agent Systems 11, 69-89, 2005
242005
The polish school of argumentation: A manifesto
K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ...
Argumentation 28, 267-282, 2014
222014
Dialogue protocols for formal fallacies
M Kacprzak, O Yaskorska
Argumentation 28, 349-369, 2014
222014
Unbounded model checking for knowledge and time
M Kacprzak, A Lomuscio, W Penczek
IPI PAN, 2003
212003
Strategies in dialogues: A game-theoretic approach
M Kacprzak, M Dziubiński, K Budzynska
Computational Models of Argument, 333-344, 2014
202014
Verifying multi-agent systems via unbounded model checking
M Kacprzak, A Lomuscio, T Łasica, W Penczek, M Szreter
Formal Approaches to Agent-Based Systems: Third International Workshop …, 2005
182005
Modeling Persuasiveness: change of uncertainty through agents' interactions.
K Budzynska, M Kacprzak, P Rembelski
Frontiers in Artificial Intelligence and Applications 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
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
New approach to decision making
M Kacprzak, B Starosta, K Wȩgrzyn-Wolska
Proceedings of the Second International Afro-European Conference for …, 2016
92016
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20