|
Search the dblp DataBase
Magdalena Kacprzak:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Magdalena Kacprzak, Wojciech Penczek
Unbounded Model Checking for Alternating-Time Temporal Logic. [Citation Graph (0, 0)][DBLP] AAMAS, 2004, pp:646-653 [Conf]
- 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]
- Magdalena Kacprzak
Formalization of Multiagent Reasoning. [Citation Graph (0, 0)][DBLP] PARELEC, 2002, pp:82-86 [Conf]
- Magdalena Kacprzak, Wojciech Penczek
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1. [Citation Graph (0, 0)][DBLP] Autonomous Agents and Multi-Agent Systems, 2005, v:11, n:1, pp:69-89 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
Logic for Reasoning about Components of Persuasive Actions. [Citation Graph (, )][DBLP]
Using Perseus System for Modelling Epistemic Interactions. [Citation Graph (, )][DBLP]
Modeling Persuasiveness: change of uncertainty through agents' interactions. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|