Magdalena Kacprzak Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2016
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny: Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract). CS&P 2016: 257-268
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny: Towards Verification of Dialogue Protocols: A Mathematical Model. ICAISC (2) 2016: 329-339
2015
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska: New Approach to Decision Making. AECIA 2015: 397-407
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny: Dialogue Systems: Modeling and Prediction of their Dynamics. AECIA 2015: 421-431
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska: Metasets and Opinion Mining in New Decision Support System. ICAISC 2015: 625-636
2014
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Anna Sawicka: Identification of Formal Fallacies in a Natural Dialogue. Fundam. Inform. 135(4): 403-417 (2014)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Marcin Dziubinski, Katarzyna Budzynska: Strategies in Dialogues: A Game-Theoretic Approach. COMMA 2014: 333-344
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Anna Sawicka, Katarzyna Budzynska, Marcin Dziubinski: Verifying Strategies in Dialogue Games. CS&P 2014: 92-100
2013
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlena Yaskorska, Katarzyna Budzynska, Magdalena Kacprzak: Proving Propositional Tautologies in a Natural Dialogue. Fundam. Inform. 128(1-2): 239-253 (2013)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Anna Sawicka: Identification of Formal Fallacies in a Natural Dialogue. CS&P 2013: 219-231
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Witold Kosinski, Katarzyna Wegrzyn-Wolska: Diversity of Opinion Evaluated by Ordered Fuzzy Numbers. ICAISC (1) 2013: 271-281
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland .CEUR Workshop Proceedings 1032, CEUR-WS.org 2013
2012
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska: Rules for Formal and Natural Dialogues in Agent Communication. CS&P 2012: 416-427
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Witold Kosinski, Piotr Prokopowicz: Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two. ICAISC (1) 2012: 247-255
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Katarzyna Budzynska, Olena Yaskorska: A logic for strategies in persuasion dialogue games. KES 2012: 98-107
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Katarzyna Budzynska: Reasoning about Dialogical Strategies. KES (Selected Papers) 2012: 171-184
2011
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski: Using the Perseus System for Modelling Epistemic Interactions. Trans. Computational Collective Intelligence 5: 106-123 (2011)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Witold Kosinski: On lattice structure and implications on ordered fuzzy numbers. EUSFLAT Conf. 2011: 267-274
2010
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Update of Probabilistic Beliefs: Implementation and Parametric Verification. Fundam. Inform. 102(1): 35-48 (2010)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena 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
2009
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Perseus. Software for Analyzing Persuasion Process. Fundam. Inform. 93(1-3): 65-79 (2009)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Logic for Reasoning about Components of Persuasive Actions. ISMIS 2009: 201-210
2008
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatarzyna Budzynska, Magdalena Kacprzak: A Logic for Reasoning about Persuasion. Fundam. Inform. 85(1-4): 51-65 (2008)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena 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)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski: Modeling Persuasiveness: change of uncertainty through agents' interactions. COMMA 2008: 85-96
2006
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak: A Strong Completeness Result for a MAS Logic. Fundam. Inform. 72(1-3): 197-213 (2006)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena 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
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena 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
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundam. Inform. 63(2-3): 221-240 (2004)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Wojciech Penczek: A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic. Synthese 142(2): 203-227 (2004)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek: Verification of Multiagent Systems via Unbounded Model Checking. AAMAS 2004: 638-645
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Wojciech Penczek: Unbounded Model Checking for Alternating-Time Temporal Logic. AAMAS 2004: 646-653
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter: Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212
2003
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak: Undecidability of a Multi-Agent Logic. Fundam. Inform. 54(2-3): 213-220 (2003)
2002
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak: A Complete Axiomatization of Process Temporal Logic. Fundam. Inform. 50(1): 15-31 (2002)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Kacprzak: Formalization of Multiagent Reasoning. PARELEC 2002: 82-86

Coauthor Index

1Katarzyna Budzynska[c16] [c15] [j13] [c12] [c10] [c9] [j12] [j11] [c7] [j10] [c6] [j9] [c5]
2Ludwik Czaja[e1]
3Marcin Dziubinski[c16] [c15]
4Pawel Garbacz[j12] [c7]
5Witold Kosinski[c13] [c11] [c8]
6Piotr Kulicki[j12] [c7]
7T. Lasica[c2]
8Marek Lechniak[j12] [c7]
9Alessio Lomuscio[j6] [j4] [c4] [c2]
10Wojciech Nabialek[j8]
11Artur Niewiadomski[j8] [j6]
12Wojciech Penczek[j8] [j6] [j5] [j4] [j3] [c4] [c3] [c2]
13Agata Pólrola[j8]
14Piotr Prokopowicz[c11]
15Franco Raimondi[j6]
16Pawel Rembelski[j12] [j11] [c7] [j10] [c6] [c5]
17Anna Sawicka[c21] [c20] [c18] [j14] [c15] [c14]
18Bartlomiej Starosta[c19] [c17]
19Marcin S. Szczuka[e1]
20Maciej Szreter[j8] [j6] [c2]
21Robert Trypuz[j12] [c7]
22Katarzyna Wegrzyn-Wolska[c19] [c17] [c13]
23Bozena Wozna[j8]
24Olena Yaskorska[j13] [c12] [c10]
25Andrzej Zbrzezny[c21] [c20] [c18] [j8]

 

Last update 2017-05-28 00:46 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page