Magdalena Kacprzak

50 papers A* 2A 5B 1C 4Misc 1Journal 17Unranked 19
YearRankTypeTitle / Venue / Authors
2024 A conf
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL.
AAMAS
Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny
2023 J jnl
MsATL: a Tool for SAT-Based ATL Satisfiability Checking.
CoRR
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
2023 A conf
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic.
ECAI
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny
2021 C conf
SMT-Based Unbounded Model Checking for ATL.
VECoS
Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek
2021 A* conf
Satisfiability Checking of Strategy Logic with Simple Goals.
KR
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
2020 A conf
MsATL: A Tool for SAT-Based ATL Satisfiability Checking.
AAMAS
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
2020 A* conf
SAT-Based ATL Satisfiability Checking.
KR
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
2020 J jnl
SAT-Based ATL Satisfiability Checking.
CoRR
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
2019 — conf
SMT-Based Encoding of Argumentation Dialogue Games.
ICAISC (2)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
2019 J jnl
Towards Encoding of the Transition Relation in Dialogue Games Model Checking.
Fundam. Informaticae
Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny
2018 — conf
Modelling the Affective Power of Locutions in a Persuasive Dialogue Game.
ICAISC (2)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
2017 — conf
A Novel Description Language for Two-Agent Dialogue Games.
IJCRS (2)
Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny
2017 — conf
Persuasive Strategies in Dialogue Games with Emotional Reasoning.
IJCRS (2)
Magdalena Kacprzak
2017 — conf
Two Approaches to Fuzzy Implication.
Theory and Applications of Ordered Fuzzy Numbers
Magdalena Kacprzak, Bartlomiej Starosta
2016 — conf
Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract).
CS&P
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
2016 — conf
Towards Verification of Dialogue Protocols: A Mathematical Model.
ICAISC (2)
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
2015 — conf
Dialogue Systems: Modeling and Prediction of their Dynamics.
AECIA
Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny
2015 Misc conf
Metasets and Opinion Mining in New Decision Support System.
ICAISC
Magdalena Kacprzak, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska
2015 — conf
New Approach to Decision Making.
AECIA
Magdalena Kacprzak, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska
2014 J jnl
Identification of Formal Fallacies in a Natural Dialogue.
Fundam. Informaticae
Magdalena Kacprzak, Anna Sawicka
2014 C conf
Strategies in Dialogues: A Game-Theoretic Approach.
COMMA
Magdalena Kacprzak, Marcin Dziubinski, Katarzyna Budzynska
2014 — conf
Verifying Strategies in Dialogue Games.
CS&P
Magdalena Kacprzak, Anna Sawicka, Katarzyna Budzynska, Marcin Dziubinski
2013 — conf
Diversity of Opinion Evaluated by Ordered Fuzzy Numbers.
ICAISC (1)
Magdalena Kacprzak, Witold Kosinski, Katarzyna Wegrzyn-Wolska
2013 — conf
Identification of Formal Fallacies in a Natural Dialogue.
CS&P
Magdalena Kacprzak, Anna Sawicka
2013 — ed.
Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland
CS&P
Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak
2013 J jnl
Proving Propositional Tautologies in a Natural Dialogue.
Fundam. Informaticae
Olena Yaskorska, Katarzyna Budzynska, Magdalena Kacprzak
2012 B conf
A logic for strategies in persuasion dialogue games.
KES
Magdalena Kacprzak, Katarzyna Budzynska, Olena Yaskorska
2012 — conf
Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two.
ICAISC (1)
Magdalena Kacprzak, Witold Kosinski, Piotr Prokopowicz
2012 — conf
Reasoning about Dialogical Strategies.
KES (Selected Papers)
Magdalena Kacprzak, Katarzyna Budzynska
2012 — conf
Rules for Formal and Natural Dialogues in Agent Communication.
CS&P
Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska
2011 — conf
On lattice structure and implications on ordered fuzzy numbers.
EUSFLAT Conf.
Magdalena Kacprzak, Witold Kosinski
2011 J jnl
Using the Perseus System for Modelling Epistemic Interactions.
Trans. Comput. Collect. Intell.
Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski
2010 J jnl
Update of Probabilistic Beliefs: Implementation and Parametric Verification.
Fundam. Informaticae
Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski
2010 — conf
Using Perseus System for Modelling Epistemic Interactions.
KES-AMSTA (1)
Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski
2009 C conf
Logic for Reasoning about Components of Persuasive Actions.
ISMIS
Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski
2009 J jnl
Perseus. Software for Analyzing Persuasion Process.
Fundam. Informaticae
Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski
2008 J jnl
A Logic for Reasoning about Persuasion.
Fundam. Informaticae
Katarzyna Budzynska, Magdalena Kacprzak
2008 C conf
Modeling Persuasiveness: change of uncertainty through agents' interactions.
COMMA
Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski
2008 J jnl
VerICS 2007 - a Model Checker for Knowledge and Real-Time.
Fundam. Informaticae
Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
2006 J jnl
A Strong Completeness Result for a MAS Logic.
Fundam. Informaticae
Magdalena Kacprzak
2006 J jnl
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.
Fundam. Informaticae
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter
2005 J jnl
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic
Auton. Agents Multi Agent Syst.
Magdalena Kacprzak, Wojciech Penczek
2004 J jnl
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.
Synth.
Magdalena Kacprzak, Wojciech Penczek
2004 J jnl
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic.
Fundam. Informaticae
Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek
2004 A conf
Unbounded Model Checking for Alternating-Time Temporal Logic.
AAMAS
Magdalena Kacprzak, Wojciech Penczek
2004 A conf
Verification of Multiagent Systems via Unbounded Model Checking.
AAMAS
Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek
2004 — conf
Verifying Multi-agent Systems via Unbounded Model Checking.
FAABS
Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter
2003 J jnl
Undecidability of a Multi-Agent Logic.
Fundam. Informaticae
Magdalena Kacprzak
2002 J jnl
A Complete Axiomatization of Process Temporal Logic.
Fundam. Informaticae
Magdalena Kacprzak
2002 — conf
Formalization of Multiagent Reasoning.
PARELEC
Magdalena Kacprzak