Verifying Strategies in Dialogue Games. - Magdalena Kacprzak; Anna Sawicka; Katarzyna Budzynska; Marcin Dziubinski (CS&P, 2014)

Identification of Formal Fallacies in a Natural Dialogue. - Magdalena Kacprzak; Anna Sawicka (Fundam. Informaticae, 2014)

Dialogue Systems: Modeling and Prediction of their Dynamics. - Magdalena Kacprzak; Anna Sawicka; Andrzej Zbrzezny (AECIA, 2015)

Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract). - Magdalena Kacprzak; Anna Sawicka; Andrzej Zbrzezny (CS&P, 2016)

Towards Verification of Dialogue Protocols: A Mathematical Model. - Magdalena Kacprzak; Anna Sawicka; Andrzej Zbrzezny (ICAISC (2), 2016)

A Novel Description Language for Two-Agent Dialogue Games. - Anna Sawicka; Magdalena Kacprzak; Andrzej Zbrzezny (IJCRS (2), 2017)

Modelling the Affective Power of Locutions in a Persuasive Dialogue Game. - Magdalena Kacprzak; Anna Sawicka; Andrzej Zbrzezny (ICAISC (2), 2018)

SMT-Based Encoding of Argumentation Dialogue Games. - Magdalena Kacprzak; Anna Sawicka; Andrzej Zbrzezny (ICAISC (2), 2019)

Towards Encoding of the Transition Relation in Dialogue Games Model Checking. - Anna Sawicka; Magdalena Kacprzak; Andrzej Zbrzezny (Fundam. Informaticae, 2019)