Anna Sawicka

According to our database, Anna Sawicka authored at least 9 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Towards Encoding of the Transition Relation in Dialogue Games Model Checking.

Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny

Fundam. Informaticae, 2019

SMT-Based Encoding of Argumentation Dialogue Games.

Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny

Proceedings of the Artificial Intelligence and Soft Computing, 2019

2018

Modelling the Affective Power of Locutions in a Persuasive Dialogue Game.

Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny

Proceedings of the Artificial Intelligence and Soft Computing, 2018

2017

A Novel Description Language for Two-Agent Dialogue Games.

Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny

Proceedings of the Rough Sets - International Joint Conference, 2017

2016

Towards Verification of Dialogue Protocols: A Mathematical Model.

Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny

Proceedings of the Artificial Intelligence and Soft Computing, 2016

Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract).

Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

Dialogue Systems: Modeling and Prediction of their Dynamics.

Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny

Proceedings of the Second International Afro-European Conference for Industrial Advancement, 2015

2014

Identification of Formal Fallacies in a Natural Dialogue.

Magdalena Kacprzak, Anna Sawicka

Fundam. Informaticae, 2014

Verifying Strategies in Dialogue Games.

Magdalena Kacprzak, Anna Sawicka, Katarzyna Budzynska, Marcin Dziubinski

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014