Search the dblp DataBase

Publications of Author

1. Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek
   Verification of Multiagent Systems via Unbounded Model Checking. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2004, pp:638-645 [Conf]
   
2. Magdalena Kacprzak, Wojciech Penczek
   Unbounded Model Checking for Alternating-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2004, pp:646-653 [Conf]
   
3. Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter
   Verifying Multi-agent Systems via Unbounded Model Checking. [Citation Graph (0, 0)][DBLP]
   FAABS, 2004, pp:189-212 [Conf]
   
4. Magdalena Kacprzak
   Formalization of Multiagent Reasoning. [Citation Graph (0, 0)][DBLP]
   PARELEC, 2002, pp:82-86 [Conf]
   
5. Magdalena Kacprzak, Wojciech Penczek
   Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic¹. [Citation Graph (0, 0)][DBLP]
   Autonomous Agents and Multi-Agent Systems, 2005, v:11, n:1, pp:69-89 [Journal]
   
6. Magdalena Kacprzak
   A Complete Axiomatization of Process Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:50, n:1, pp:15-31 [Journal]
   
7. Magdalena Kacprzak
   Undecidability of a Multi-Agent Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:54, n:2-3, pp:213-220 [Journal]
   
8. Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek
   From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:63, n:2-3, pp:221-240 [Journal]
   
9. Magdalena Kacprzak
   A Strong Completeness Result for a MAS Logic. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2006, v:72, n:1-3, pp:197-213 [Journal]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:215-234 [Journal]
    
11. 
    Logic for Reasoning about Components of Persuasive Actions. [Citation Graph (, )][DBLP]
    
    
12. 
    Using Perseus System for Modelling Epistemic Interactions. [Citation Graph (, )][DBLP]
    
    
13. 
    Modeling Persuasiveness: change of uncertainty through agents' interactions. [Citation Graph (, )][DBLP]