Zobrazeno 1 - 10
of 103
pro vyhledávání: '"Kacprzak, Magdalena"'
Autor:
Niewiadomski, Artur, Kacprzak, Magdalena, Kurpiewski, Damian, Knapik, Michał, Penczek, Wojciech, Jamroga, Wojciech
Publikováno v:
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13, 2020, 2111--2113
We present MsATL: the first tool for deciding the satisfiability of Alternating-time Temporal Logic (ATL) with imperfect information. MsATL combines SAT Modulo Monotonic Theories solvers with existing ATL model checkers: MCMAS and STV. The tool can d
Externí odkaz:
http://arxiv.org/abs/2310.16519
Synthesis of models and strategies is a very important problem in software engineering. The main element here is checking the satisfiability of formulae expressing the specification of a system to be implemented. This paper puts forward a novel metho
Externí odkaz:
http://arxiv.org/abs/2002.03117
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Budzynska Katarzyna, Araszkiewicz Michał, Budzyńska-Daca Agnieszka, Hinton Martin, Lawrence John, Modgil Sanjay, Thimm Matthias, Visser Jacky, Żurek Tomasz, Koszowy Marcin, Atkinson Katie, Dębowska-Kozłowska Kamila, Kacprzak Magdalena, Łupkowski Paweł, Skowron Barłomiej, Urbański Mariusz, Załęska Maria
Publikováno v:
Studies in Logic, Grammar and Rhetoric, Vol 55, Iss 1, Pp 231-239 (2018)
In September 2018, the ArgDiaP association, along with colleagues from Germany and the UK, organised one of the longest and most interdisciplinary series of events ever dedicated to argumentation - Warsaw Argumentation Week, WAW 2018. The eleven-day
Externí odkaz:
https://doaj.org/article/68e5f26fac9a48d388b041dd1828f769
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sawicka, Anna1 asawicka@pja.edu.pl, Kacprzak, Magdalena2 m.kacprzak@pb.edu.pl, Zbrzezny, Andrzej3 a.zbrzezny@ujd.edu.pl
Publikováno v:
Fundamenta Informaticae. 2019, Vol. 165 Issue 3/4, p345-361. 17p.
Publikováno v:
In Fungal Genetics and Biology February 2011 48(2):104-112
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Calik, Jacek, Adamowicz, Krzysztof, Dziura, Robert, Galus, Łukasz, Hudała-Klecha, Joanna, Nowak, Mirosława, Pacholczak-Madej, Renata, Wójcik-Kacprzak, Magdalena, Ziółkowska, Barbara
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3647::be52cbba065bf81ecf19f8dc6fafc5e1
https://ruj.uj.edu.pl/xmlui/handle/item/290509
https://ruj.uj.edu.pl/xmlui/handle/item/290509