 | 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) |
