팔로우
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
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
832004
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
582014
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
512006
Unbounded model checking for alternating-time temporal logic
M Kacprzak, W Penczek
Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004
392004
A logic for reasoning about persuasion
K Budzyńska, M Kacprzak
Fundamenta Informaticae 85 (1-4), 51-65, 2008
332008
From bounded to unbounded model checking for temporal epistemic logic
M Kacprzak, A Lomuscio, W Penczek
Fundamenta Informaticae 63 (2-3), 221-240, 2004
332004
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 (3), 349-369, 2014
232014
Proving propositional tautologies in a natural dialogue
O Yaskorska, K Budzynska, M Kacprzak
Fundamenta Informaticae 128 (1-2), 239-253, 2013
232013
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
Strategies in dialogues: A game-theoretic approach
M Kacprzak, M Dziubiński, K Budzynska
Computational Models of Argument, 333-344, 2014
212014
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
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
Identification of formal fallacies in a natural dialogue
M Kacprzak, A Sawicka
Fundamenta Informaticae 135 (4), 403-417, 2014
142014
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
Bounded versus unbounded model checking for interpreted systems
M Kacprzak, A Lomuscio, W Penczek34
Fundamenta Informaticae, 2004
102004
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20