Magdalena Kacprzak

	2012
19		Magdalena Kacprzak, Witold Kosinski, Piotr Prokopowicz: Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two. ICAISC (1) 2012: 247-255
	2011
18		Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski: Using the Perseus System for Modelling Epistemic Interactions. T. Computational Collective Intelligence 5: 106-123 (2011)
	2010
17		Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski: Using Perseus System for Modelling Epistemic Interactions. KES-AMSTA (1) 2010: 315-324
16		Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Update of Probabilistic Beliefs: Implementation and Parametric Verification. Fundam. Inform. 102(1): 35-48 (2010)
	2009
15		Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Logic for Reasoning about Components of Persuasive Actions. ISMIS 2009: 201-210
14		Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Perseus. Software for Analyzing Persuasion Process. Fundam. Inform. 93(1-3): 65-79 (2009)
	2008
13		Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Modeling Persuasiveness: change of uncertainty through agents' interactions. COMMA 2008: 85-96
12		Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Inform. 85(1-4): 313-328 (2008)
11		Katarzyna Budzynska, Magdalena Kacprzak: A Logic for Reasoning about Persuasion. Fundam. Inform. 85(1-4): 51-65 (2008)
	2006
10		Magdalena Kacprzak: A Strong Completeness Result for a MAS Logic. Fundam. Inform. 72(1-3): 197-213 (2006)
9		Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter: Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. Fundam. Inform. 72(1-3): 215-234 (2006)
	2005
8		Magdalena Kacprzak, Wojciech Penczek: Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1. Autonomous Agents and Multi-Agent Systems 11(1): 69-89 (2005)
	2004
7		Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: Verification of Multiagent Systems via Unbounded Model Checking. AAMAS 2004: 638-645
6		Magdalena Kacprzak, Wojciech Penczek: Unbounded Model Checking for Alternating-Time Temporal Logic. AAMAS 2004: 646-653
5		Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter: Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212
4		Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundam. Inform. 63(2-3): 221-240 (2004)
	2003
3		Magdalena Kacprzak: Undecidability of a Multi-Agent Logic. Fundam. Inform. 54(2-3): 213-220 (2003)
	2002
2		Magdalena Kacprzak: Formalization of Multiagent Reasoning. PARELEC 2002: 82-86
1		Magdalena Kacprzak: A Complete Axiomatization of Process Temporal Logic. Fundam. Inform. 50(1): 15-31 (2002)

Coauthor Index

1	Katarzyna Budzynska	[11] [13] [14] [15] [16] [17] [18]
2	Pawel Garbacz	[17] [18]
3	Witold Kosinski	[19]
4	Piotr Kulicki	[17] [18]
5	T. Lasica	[5]
6	Marek Lechniak	[17] [18]
7	Alessio Lomuscio	[4] [5] [7] [9]
8	Wojciech Nabialek	[12]
9	Artur Niewiadomski	[9] [12]
10	Wojciech Penczek	[4] [5] [6] [7] [8] [9] [12]
11	Agata Pólrola	[12]
12	Piotr Prokopowicz	[19]
13	Franco Raimondi	[9]
14	Pawel Rembelski	[13] [14] [15] [16] [17] [18]
15	Maciej Szreter	[5] [9] [12]
16	Robert Trypuz	[17] [18]
17	Bozena Wozna (Bozena Wozna-Szczesniak)	[12]
18	Andrzej Zbrzezny	[12]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page