![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Magdalena Kacprzak
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2019
- [j15]Anna Sawicka, Magdalena Kacprzak
, Andrzej Zbrzezny
:
Towards Encoding of the Transition Relation in Dialogue Games Model Checking. Fundam. Informaticae 165(3-4): 345-361 (2019) - 2014
- [j14]Magdalena Kacprzak
, Anna Sawicka:
Identification of Formal Fallacies in a Natural Dialogue. Fundam. Informaticae 135(4): 403-417 (2014) - 2013
- [j13]Olena Yaskorska
, Katarzyna Budzynska
, Magdalena Kacprzak
:
Proving Propositional Tautologies in a Natural Dialogue. Fundam. Informaticae 128(1-2): 239-253 (2013) - 2011
- [j12]Magdalena Kacprzak
, Piotr Kulicki
, Robert Trypuz
, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak
, Pawel Rembelski:
Using the Perseus System for Modelling Epistemic Interactions. Trans. Comput. Collect. Intell. 5: 106-123 (2011) - 2010
- [j11]Katarzyna Budzynska
, Magdalena Kacprzak
, Pawel Rembelski:
Update of Probabilistic Beliefs: Implementation and Parametric Verification. Fundam. Informaticae 102(1): 35-48 (2010) - 2009
- [j10]Katarzyna Budzynska
, Magdalena Kacprzak
, Pawel Rembelski:
Perseus. Software for Analyzing Persuasion Process. Fundam. Informaticae 93(1-3): 65-79 (2009) - 2008
- [j9]Katarzyna Budzynska, Magdalena Kacprzak:
A Logic for Reasoning about Persuasion. Fundam. Informaticae 85(1-4): 51-65 (2008) - [j8]Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny:
VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Informaticae 85(1-4): 313-328 (2008) - 2006
- [j7]Magdalena Kacprzak:
A Strong Completeness Result for a MAS Logic. Fundam. Informaticae 72(1-3): 197-213 (2006) - [j6]Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter:
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. Fundam. Informaticae 72(1-3): 215-234 (2006) - 2005
- [j5]Magdalena Kacprzak
, Wojciech Penczek
:
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1. Auton. Agents Multi Agent Syst. 11(1): 69-89 (2005) - 2004
- [j4]Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek:
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundam. Informaticae 63(2-3): 221-240 (2004) - [j3]Magdalena Kacprzak
, Wojciech Penczek
:
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic. Synth. 142(2): 203-227 (2004) - 2003
- [j2]Magdalena Kacprzak:
Undecidability of a Multi-Agent Logic. Fundam. Informaticae 54(2-3): 213-220 (2003) - 2002
- [j1]Magdalena Kacprzak:
A Complete Axiomatization of Process Temporal Logic. Fundam. Informaticae 50(1): 15-31 (2002)
Conference and Workshop Papers
- 2024
- [c32]Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny:
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL. AAMAS 2024: 2815-2817 - 2023
- [c31]Magdalena Kacprzak
, Artur Niewiadomski
, Wojciech Penczek
, Andrzej Zbrzezny
:
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. ECAI 2023: 1180-1189 - 2021
- [c30]Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
:
Satisfiability Checking of Strategy Logic with Simple Goals. KR 2021: 400-410 - [c29]Michal Kanski
, Artur Niewiadomski
, Magdalena Kacprzak
, Wojciech Penczek
, Wojciech Nabialek
:
SMT-Based Unbounded Model Checking for ATL. VECoS 2021: 43-58 - 2020
- [c28]Artur Niewiadomski
, Magdalena Kacprzak, Damian Kurpiewski
, Michal Knapik
, Wojciech Penczek
, Wojciech Jamroga:
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS 2020: 2111-2113 - [c27]Magdalena Kacprzak
, Artur Niewiadomski
, Wojciech Penczek
:
SAT-Based ATL Satisfiability Checking. KR 2020: 539-549 - 2019
- [c26]Magdalena Kacprzak
, Anna Sawicka, Andrzej Zbrzezny
:
SMT-Based Encoding of Argumentation Dialogue Games. ICAISC (2) 2019: 564-574 - 2018
- [c25]Magdalena Kacprzak
, Anna Sawicka, Andrzej Zbrzezny
:
Modelling the Affective Power of Locutions in a Persuasive Dialogue Game. ICAISC (2) 2018: 557-569 - 2017
- [c24]Magdalena Kacprzak
, Bartlomiej Starosta:
Two Approaches to Fuzzy Implication. Theory and Applications of Ordered Fuzzy Numbers 2017: 133-154 - [c23]Magdalena Kacprzak
:
Persuasive Strategies in Dialogue Games with Emotional Reasoning. IJCRS (2) 2017: 435-453 - [c22]Anna Sawicka, Magdalena Kacprzak
, Andrzej Zbrzezny
:
A Novel Description Language for Two-Agent Dialogue Games. IJCRS (2) 2017: 466-486 - 2016
- [c21]Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny:
Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract). CS&P 2016: 257-268 - [c20]Magdalena Kacprzak
, Anna Sawicka, Andrzej Zbrzezny
:
Towards Verification of Dialogue Protocols: A Mathematical Model. ICAISC (2) 2016: 329-339 - 2015
- [c19]Magdalena Kacprzak
, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska
:
New Approach to Decision Making. AECIA 2015: 397-407 - [c18]Magdalena Kacprzak
, Anna Sawicka, Andrzej Zbrzezny
:
Dialogue Systems: Modeling and Prediction of their Dynamics. AECIA 2015: 421-431 - [c17]Magdalena Kacprzak
, Bartlomiej Starosta
, Katarzyna Wegrzyn-Wolska
:
Metasets and Opinion Mining in New Decision Support System. ICAISC 2015: 625-636 - 2014
- [c16]Magdalena Kacprzak
, Marcin Dziubinski
, Katarzyna Budzynska
:
Strategies in Dialogues: A Game-Theoretic Approach. COMMA 2014: 333-344 - [c15]Magdalena Kacprzak, Anna Sawicka, Katarzyna Budzynska, Marcin Dziubinski:
Verifying Strategies in Dialogue Games. CS&P 2014: 92-100 - 2013
- [c14]Magdalena Kacprzak, Anna Sawicka:
Identification of Formal Fallacies in a Natural Dialogue. CS&P 2013: 219-231 - [c13]Magdalena Kacprzak
, Witold Kosinski, Katarzyna Wegrzyn-Wolska
:
Diversity of Opinion Evaluated by Ordered Fuzzy Numbers. ICAISC (1) 2013: 271-281 - 2012
- [c12]Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska:
Rules for Formal and Natural Dialogues in Agent Communication. CS&P 2012: 416-427 - [c11]Magdalena Kacprzak
, Witold Kosinski, Piotr Prokopowicz
:
Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two. ICAISC (1) 2012: 247-255 - [c10]Magdalena Kacprzak
, Katarzyna Budzynska
, Olena Yaskorska:
A logic for strategies in persuasion dialogue games. KES 2012: 98-107 - [c9]Magdalena Kacprzak
, Katarzyna Budzynska:
Reasoning about Dialogical Strategies. KES (Selected Papers) 2012: 171-184 - 2011
- [c8]Magdalena Kacprzak, Witold Kosinski:
On lattice structure and implications on ordered fuzzy numbers. EUSFLAT Conf. 2011: 267-274 - 2010
- [c7]Magdalena Kacprzak
, Piotr Kulicki
, Robert Trypuz
, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak
, Pawel Rembelski:
Using Perseus System for Modelling Epistemic Interactions. KES-AMSTA (1) 2010: 315-324 - 2009
- [c6]Katarzyna Budzynska
, Magdalena Kacprzak
, Pawel Rembelski:
Logic for Reasoning about Components of Persuasive Actions. ISMIS 2009: 201-210 - 2008
- [c5]Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski:
Modeling Persuasiveness: change of uncertainty through agents' interactions. COMMA 2008: 85-96 - 2004
- [c4]Magdalena Kacprzak, Alessio Lomuscio
, Wojciech Penczek:
Verification of Multiagent Systems via Unbounded Model Checking. AAMAS 2004: 638-645 - [c3]Magdalena Kacprzak, Wojciech Penczek:
Unbounded Model Checking for Alternating-Time Temporal Logic. AAMAS 2004: 646-653 - [c2]Magdalena Kacprzak, Alessio Lomuscio
, T. Lasica, Wojciech Penczek, Maciej Szreter:
Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212 - 2002
- [c1]Magdalena Kacprzak
:
Formalization of Multiagent Reasoning. PARELEC 2002: 82-86
Editorship
- 2013
- [e1]Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak:
Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. CEUR Workshop Proceedings 1032, CEUR-WS.org 2013 [contents]
Informal and Other Publications
- 2023
- [i2]Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR abs/2310.16519 (2023) - 2020
- [i1]Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
SAT-Based ATL Satisfiability Checking. CoRR abs/2002.03117 (2020)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint