Magdalena Kacprzak

Orcid: 0000-0002-9464-7686

According to our database1, Magdalena Kacprzak authored at least 45 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2021
SMT-Based Unbounded Model Checking for ATL.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Satisfiability Checking of Strategy Logic with Simple Goals.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020
SAT-Based ATL Satisfiability Checking.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

MsATL: A Tool for SAT-Based ATL Satisfiability Checking.
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.
Fundam. Informaticae, 2019

SMT-Based Encoding of Argumentation Dialogue Games.
Proceedings of the Artificial Intelligence and Soft Computing, 2019

2018
Modelling the Affective Power of Locutions in a Persuasive Dialogue Game.
Proceedings of the Artificial Intelligence and Soft Computing, 2018

2017
A Novel Description Language for Two-Agent Dialogue Games.
Proceedings of the Rough Sets - International Joint Conference, 2017

Persuasive Strategies in Dialogue Games with Emotional Reasoning.
Proceedings of the Rough Sets - International Joint Conference, 2017

Two Approaches to Fuzzy Implication.
Proceedings of the Theory and Applications of Ordered Fuzzy Numbers, 2017

2016
Towards Verification of Dialogue Protocols: A Mathematical Model.
Proceedings of the Artificial Intelligence and Soft Computing, 2016

Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract).
Proceedings of the 25th International Workshop on Concurrency, 2016

2015
Metasets and Opinion Mining in New Decision Support System.
Proceedings of the Artificial Intelligence and Soft Computing, 2015

Dialogue Systems: Modeling and Prediction of their Dynamics.
Proceedings of the Second International Afro-European Conference for Industrial Advancement, 2015

New Approach to Decision Making.
Proceedings of the Second International Afro-European Conference for Industrial Advancement, 2015

2014
Identification of Formal Fallacies in a Natural Dialogue.
Fundam. Informaticae, 2014

Verifying Strategies in Dialogue Games.
Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

Strategies in Dialogues: A Game-Theoretic Approach.
Proceedings of the Computational Models of Argument, 2014

2013
Proving Propositional Tautologies in a Natural Dialogue.
Fundam. Informaticae, 2013

Diversity of Opinion Evaluated by Ordered Fuzzy Numbers.
Proceedings of the Artificial Intelligence and Soft Computing, 2013

2012
A logic for strategies in persuasion dialogue games.
Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Reasoning about Dialogical Strategies.
Proceedings of the Knowledge Engineering, Machine Learning and Lattice Computing with Applications, 2012

Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two.
Proceedings of the Artificial Intelligence and Soft Computing, 2012

Rules for Formal and Natural Dialogues in Agent Communication.
Proceedings of the 21th International Workshop on Concurrency, 2012

2011
Using the Perseus System for Modelling Epistemic Interactions.
Trans. Comput. Collect. Intell., 2011

On lattice structure and implications on ordered fuzzy numbers.
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010
Update of Probabilistic Beliefs: Implementation and Parametric Verification.
Fundam. Informaticae, 2010

2009
Perseus. Software for Analyzing Persuasion Process.
Fundam. Informaticae, 2009

Logic for Reasoning about Components of Persuasive Actions.
Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

2008
VerICS 2007 - a Model Checker for Knowledge and Real-Time.
Fundam. Informaticae, 2008

A Logic for Reasoning about Persuasion.
Fundam. Informaticae, 2008

Modeling Persuasiveness: change of uncertainty through agents' interactions.
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.
Fundam. Informaticae, 2006

A Strong Completeness Result for a MAS Logic.
Fundam. Informaticae, 2006

2005
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic<sup>1</sup>.
Auton. Agents Multi Agent Syst., 2005

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

From Bounded to Unbounded Model Checking for Temporal Epistemic Logic.
Fundam. Informaticae, 2004

Verifying Multi-agent Systems via Unbounded Model Checking.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Unbounded Model Checking for Alternating-Time Temporal Logic.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Verification of Multiagent Systems via Unbounded Model Checking.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003
Undecidability of a Multi-Agent Logic.
Fundam. Informaticae, 2003

2002
A Complete Axiomatization of Process Temporal Logic.
Fundam. Informaticae, 2002

Formalization of Multiagent Reasoning.
Proceedings of the 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 2002


  Loading...