Magdalena Kacprzak

Artur Niewiadomski

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

SAT-Based ATL Satisfiability Checking.

[BibT_eX]

[DOI]

Artur Niewiadomski

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

MsATL: A Tool for SAT-Based ATL Satisfiability Checking.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

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

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

SMT-Based Encoding of Argumentation Dialogue Games.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2019

2018

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

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2018

2017

A Novel Description Language for Two-Agent Dialogue Games.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets - International Joint Conference, 2017

Persuasive Strategies in Dialogue Games with Emotional Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets - International Joint Conference, 2017

Two Approaches to Fuzzy Implication.

[BibT_eX]

[DOI]

Bartlomiej Starosta

Proceedings of the Theory and Applications of Ordered Fuzzy Numbers, 2017

2016

Towards Verification of Dialogue Protocols: A Mathematical Model.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2016

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

[BibT_eX]

[DOI]

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

Metasets and Opinion Mining in New Decision Support System.

[BibT_eX]

[DOI]

Bartlomiej Starosta

Katarzyna Wegrzyn-Wolska

Proceedings of the Artificial Intelligence and Soft Computing, 2015

Dialogue Systems: Modeling and Prediction of their Dynamics.

[BibT_eX]

[DOI]

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

New Approach to Decision Making.

[BibT_eX]

[DOI]

Bartlomiej Starosta

Katarzyna Wegrzyn-Wolska

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

2014

Identification of Formal Fallacies in a Natural Dialogue.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Verifying Strategies in Dialogue Games.

[BibT_eX]

[DOI]

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

Strategies in Dialogues: A Game-Theoretic Approach.

[BibT_eX]

[DOI]

Marcin Dziubinski

Proceedings of the Computational Models of Argument, 2014

2013

Proving Propositional Tautologies in a Natural Dialogue.

[BibT_eX]

[DOI]

Olena Yaskorska

Fundam. Informaticae, 2013

Diversity of Opinion Evaluated by Ordered Fuzzy Numbers.

[BibT_eX]

[DOI]

Witold Kosinski

Katarzyna Wegrzyn-Wolska

Proceedings of the Artificial Intelligence and Soft Computing, 2013

2012

A logic for strategies in persuasion dialogue games.

[BibT_eX]

[DOI]

Olena Yaskorska

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Reasoning about Dialogical Strategies.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering, Machine Learning and Lattice Computing with Applications, 2012

Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two.

[BibT_eX]

[DOI]

Witold Kosinski

Piotr Prokopowicz

Proceedings of the Artificial Intelligence and Soft Computing, 2012

Rules for Formal and Natural Dialogues in Agent Communication.

[BibT_eX]

[DOI]

Olena Yaskorska

Proceedings of the 21th International Workshop on Concurrency, 2012

2011

Using the Perseus System for Modelling Epistemic Interactions.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2011

On lattice structure and implications on ordered fuzzy numbers.

[BibT_eX]

[DOI]

Witold Kosinski

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010

Update of Probabilistic Beliefs: Implementation and Parametric Verification.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

2009

Perseus. Software for Analyzing Persuasion Process.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Logic for Reasoning about Components of Persuasive Actions.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

2008

VerICS 2007 - a Model Checker for Knowledge and Real-Time.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

A Logic for Reasoning about Persuasion.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Modeling Persuasiveness: change of uncertainty through agents' interactions.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

2006

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

A Strong Completeness Result for a MAS Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

2005

Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic<sup>1</sup>.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2005

2004

A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.

[BibT_eX]

[DOI]

Synth., 2004

From Bounded to Unbounded Model Checking for Temporal Epistemic Logic.

[BibT_eX]

[DOI]

Alessio Lomuscio

Fundam. Informaticae, 2004

Verifying Multi-agent Systems via Unbounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Unbounded Model Checking for Alternating-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Verification of Multiagent Systems via Unbounded Model Checking.

[BibT_eX]

[DOI]

Alessio Lomuscio

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Undecidability of a Multi-Agent Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

2002

A Complete Axiomatization of Process Temporal Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Formalization of Multiagent Reasoning.

[BibT_eX]

[DOI]