Magdalena Kacprzak

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 16

Top Topics

Metric Temporal Logic

Decision Support System

Top Venues

Fundam. Informaticae

Publications

Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL. AAMAS (2024)
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR (2023)
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. ECAI (2023)
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
Satisfiability Checking of Strategy Logic with Simple Goals. KR (2021)
Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek
SMT-Based Unbounded Model Checking for ATL. VECoS (2021)
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS (2020)
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
SAT-Based ATL Satisfiability Checking. KR (2020)
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
SAT-Based ATL Satisfiability Checking. CoRR (2020)
Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny
Towards Encoding of the Transition Relation in Dialogue Games Model Checking. Fundam. Informaticae 165 (3-4) (2019)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
SMT-Based Encoding of Argumentation Dialogue Games. ICAISC (2) (2019)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
Modelling the Affective Power of Locutions in a Persuasive Dialogue Game. ICAISC (2) (2018)
Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny
A Novel Description Language for Two-Agent Dialogue Games. IJCRS (2) (2017)
Magdalena Kacprzak, Bartlomiej Starosta
Two Approaches to Fuzzy Implication. Theory and Applications of Ordered Fuzzy Numbers (2017)
Magdalena Kacprzak
Persuasive Strategies in Dialogue Games with Emotional Reasoning. IJCRS (2) (2017)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
Towards Verification of Dialogue Protocols: A Mathematical Model. ICAISC (2) (2016)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract). CS&P (2016)
Magdalena Kacprzak, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska
New Approach to Decision Making. AECIA (2015)
Magdalena Kacprzak, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska
Metasets and Opinion Mining in New Decision Support System. ICAISC (2015)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
Dialogue Systems: Modeling and Prediction of their Dynamics. AECIA (2015)
Magdalena Kacprzak, Anna Sawicka
Identification of Formal Fallacies in a Natural Dialogue. Fundam. Informaticae 135 (4) (2014)
Magdalena Kacprzak, Marcin Dziubinski, Katarzyna Budzynska
Strategies in Dialogues: A Game-Theoretic Approach. COMMA (2014)
Magdalena Kacprzak, Anna Sawicka, Katarzyna Budzynska, Marcin Dziubinski
Verifying Strategies in Dialogue Games. CS&P (2014)
Magdalena Kacprzak, Anna Sawicka
Identification of Formal Fallacies in a Natural Dialogue. CS&P (2013)
Magdalena Kacprzak, Witold Kosinski, Katarzyna Wegrzyn-Wolska
Diversity of Opinion Evaluated by Ordered Fuzzy Numbers. ICAISC (1) (2013)
Olena Yaskorska, Katarzyna Budzynska, Magdalena Kacprzak
Proving Propositional Tautologies in a Natural Dialogue. Fundam. Informaticae 128 (1-2) (2013)
Magdalena Kacprzak, Witold Kosinski, Piotr Prokopowicz
Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two. ICAISC (1) (2012)
Magdalena Kacprzak, Katarzyna Budzynska
Reasoning about Dialogical Strategies. KES (Selected Papers) (2012)
Magdalena Kacprzak, Katarzyna Budzynska, Olena Yaskorska
A logic for strategies in persuasion dialogue games. KES (2012)
Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska
Rules for Formal and Natural Dialogues in Agent Communication. CS&P (2012)
Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski
Using the Perseus System for Modelling Epistemic Interactions. Trans. Comput. Collect. Intell. 5 (2011)
Magdalena Kacprzak, Witold Kosinski
On lattice structure and implications on ordered fuzzy numbers. EUSFLAT Conf. (2011)
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)
Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski
Update of Probabilistic Beliefs: Implementation and Parametric Verification. Fundam. Informaticae 102 (1) (2010)
Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski
Logic for Reasoning about Components of Persuasive Actions. ISMIS (2009)
Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski
Perseus. Software for Analyzing Persuasion Process. Fundam. Informaticae 93 (1-3) (2009)
Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski
Modeling Persuasiveness: change of uncertainty through agents' interactions. COMMA (2008)
Katarzyna Budzynska, Magdalena Kacprzak
A Logic for Reasoning about Persuasion. Fundam. Informaticae 85 (1-4) (2008)
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. Informaticae 85 (1-4) (2008)
Magdalena Kacprzak
A Strong Completeness Result for a MAS Logic. Fundam. Informaticae 72 (1-3) (2006)
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. Informaticae 72 (1-3) (2006)
Magdalena Kacprzak, Wojciech Penczek
. Auton. Agents Multi Agent Syst. 11 (1) (2005)
Magdalena Kacprzak, Wojciech Penczek
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic. Synth. 142 (2) (2004)
Magdalena Kacprzak, Wojciech Penczek
Unbounded Model Checking for Alternating-Time Temporal Logic. AAMAS (2004)
Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek
Verification of Multiagent Systems via Unbounded Model Checking. AAMAS (2004)
Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter
Verifying Multi-agent Systems via Unbounded Model Checking. FAABS (2004)
Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundam. Informaticae 63 (2-3) (2004)
Magdalena Kacprzak
Undecidability of a Multi-Agent Logic. Fundam. Informaticae 54 (2-3) (2003)
Magdalena Kacprzak
Formalization of Multiagent Reasoning. PARELEC (2002)
Magdalena Kacprzak
A Complete Axiomatization of Process Temporal Logic. Fundam. Informaticae 50 (1) (2002)