Magdalena Kacprzak

50 papers A* 2A 5B 1C 4Misc 1Journal 17Unranked 19

Year	Rank	Type	Title / 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