Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Likely matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 49 matches
- 2023
- Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny:
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. ECAI 2023: 1180-1189 - 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) - 2021
- Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
Satisfiability Checking of Strategy Logic with Simple Goals. KR 2021: 400-410 - Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek:
SMT-Based Unbounded Model Checking for ATL. VECoS 2021: 43-58 - 2020
- 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 - Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
SAT-Based ATL Satisfiability Checking. KR 2020: 539-549 - Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek:
SAT-Based ATL Satisfiability Checking. CoRR abs/2002.03117 (2020) - 2019
- 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) - Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny:
SMT-Based Encoding of Argumentation Dialogue Games. ICAISC (2) 2019: 564-574 - 2018
- Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny:
Modelling the Affective Power of Locutions in a Persuasive Dialogue Game. ICAISC (2) 2018: 557-569 - 2017
- Magdalena Kacprzak, Bartlomiej Starosta:
Two Approaches to Fuzzy Implication. Theory and Applications of Ordered Fuzzy Numbers 2017: 133-154 - Magdalena Kacprzak:
Persuasive Strategies in Dialogue Games with Emotional Reasoning. IJCRS (2) 2017: 435-453 - Anna Sawicka, Magdalena Kacprzak, Andrzej Zbrzezny:
A Novel Description Language for Two-Agent Dialogue Games. IJCRS (2) 2017: 466-486 - 2016
- Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny:
Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract). CS&P 2016: 257-268 - Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny:
Towards Verification of Dialogue Protocols: A Mathematical Model. ICAISC (2) 2016: 329-339 - 2015
- Magdalena Kacprzak, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska:
New Approach to Decision Making. AECIA 2015: 397-407 - Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny:
Dialogue Systems: Modeling and Prediction of their Dynamics. AECIA 2015: 421-431 - Magdalena Kacprzak, Bartlomiej Starosta, Katarzyna Wegrzyn-Wolska:
Metasets and Opinion Mining in New Decision Support System. ICAISC 2015: 625-636 - 2014
- Magdalena Kacprzak, Anna Sawicka:
Identification of Formal Fallacies in a Natural Dialogue. Fundam. Informaticae 135(4): 403-417 (2014) - Magdalena Kacprzak, Marcin Dziubinski, Katarzyna Budzynska:
Strategies in Dialogues: A Game-Theoretic Approach. COMMA 2014: 333-344 - Magdalena Kacprzak, Anna Sawicka, Katarzyna Budzynska, Marcin Dziubinski:
Verifying Strategies in Dialogue Games. CS&P 2014: 92-100 - 2013
- Olena Yaskorska, Katarzyna Budzynska, Magdalena Kacprzak:
Proving Propositional Tautologies in a Natural Dialogue. Fundam. Informaticae 128(1-2): 239-253 (2013) - Magdalena Kacprzak, Anna Sawicka:
Identification of Formal Fallacies in a Natural Dialogue. CS&P 2013: 219-231 - Magdalena Kacprzak, Witold Kosinski, Katarzyna Wegrzyn-Wolska:
Diversity of Opinion Evaluated by Ordered Fuzzy Numbers. ICAISC (1) 2013: 271-281 - 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] - 2012
- Olena Yaskorska, Magdalena Kacprzak, Katarzyna Budzynska:
Rules for Formal and Natural Dialogues in Agent Communication. CS&P 2012: 416-427 - Magdalena Kacprzak, Witold Kosinski, Piotr Prokopowicz:
Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two. ICAISC (1) 2012: 247-255 - Magdalena Kacprzak, Katarzyna Budzynska:
Reasoning about Dialogical Strategies. KES (Selected Papers) 2012: 171-184 - Magdalena Kacprzak, Katarzyna Budzynska, Olena Yaskorska:
A logic for strategies in persuasion dialogue games. KES 2012: 98-107 - 2011
- 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)
skipping 19 more matches
loading more results
failed to load more results, please try again later
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.
retrieved on 2024-04-20 07:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint