Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Magdalena Kacprzak
2010 – today
- 2013
[c13]Magdalena Kacprzak, Anna Sawicka: Identification of Formal Fallacies in a Natural Dialogue. CS&P 2013: 219-231- [c12]Magdalena Kacprzak, Witold Kosinski, Katarzyna Wegrzyn-Wolska: Diversity of Opinion Evaluated by Ordered Fuzzy Numbers. ICAISC (1) 2013: 271-281
- [e1]Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak (Eds.): Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. CEUR Workshop Proceedings 1032, CEUR-WS.org 2013
- 2012
- [c11]Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska: Rules for Formal and Natural Dialogues in Agent Communication. CS&P 2012: 416-427
- [c10]Magdalena Kacprzak, Witold Kosinski, Piotr Prokopowicz: Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two. ICAISC (1) 2012: 247-255
- [c9]Magdalena Kacprzak, Katarzyna Budzynska, Olena Yaskorska: A logic for strategies in persuasion dialogue games. KES 2012: 98-107
- [c8]Magdalena Kacprzak, Katarzyna Budzynska: Reasoning about Dialogical Strategies. KES (Selected Papers) 2012: 171-184
- 2011
- [j11]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
- [j10]Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Update of Probabilistic Beliefs: Implementation and Parametric Verification. Fundam. Inform. 102(1): 35-48 (2010)
- [c7]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
2000 – 2009
- 2009
- [j9]Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Perseus. Software for Analyzing Persuasion Process. Fundam. Inform. 93(1-3): 65-79 (2009)
- [c6]Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Logic for Reasoning about Components of Persuasive Actions. ISMIS 2009: 201-210
- 2008
- [j8]Katarzyna Budzynska, Magdalena Kacprzak: A Logic for Reasoning about Persuasion. Fundam. Inform. 85(1-4): 51-65 (2008)
- [j7]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)
- [c5]Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Modeling Persuasiveness: change of uncertainty through agents' interactions. COMMA 2008: 85-96
- 2006
- [j6]Magdalena Kacprzak: A Strong Completeness Result for a MAS Logic. Fundam. Inform. 72(1-3): 197-213 (2006)
- [j5]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
- [j4]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
- [j3]Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundam. Inform. 63(2-3): 221-240 (2004)
- [c4]Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: Verification of Multiagent Systems via Unbounded Model Checking. AAMAS 2004: 638-645
- [c3]Magdalena Kacprzak, Wojciech Penczek: Unbounded Model Checking for Alternating-Time Temporal Logic. AAMAS 2004: 646-653
- [c2]Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter: Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212
- 2003
- [j2]
- 2002
- [j1]Magdalena Kacprzak: A Complete Axiomatization of Process Temporal Logic. Fundam. Inform. 50(1): 15-31 (2002)
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:05 CEST by the dblp team