Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Konikowska, Beata"'
Publikováno v:
Fundam. Informaticae 175 (2020), p. 207--251
Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distr
Externí odkaz:
http://arxiv.org/abs/2310.20344
Publikováno v:
In Information Sciences 1 March 2015 296:219-236
Autor:
Jamroga, Wojciech1 (AUTHOR) w.jamroga@ipipan.waw.pl, Konikowska, Beata1 (AUTHOR) b.konikowska@ipipan.waw.pl, Kurpiewski, Damian1 (AUTHOR) d.kurpiewski@ipipan.waw.pl, Penczek, Wojciech1 (AUTHOR) w.penczek@ipipan.waw.pl, ter Beek, Maurice (AUTHOR), Koutny, Maciej (AUTHOR), Rozenberg, Grzegorz (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2020, Vol. 175 Issue 1, p207-251. 45p.
Autor:
Avron, Arnon, Konikowska, Beata
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2009 Mar 01. 91(2), 273-293.
Externí odkaz:
https://www.jstor.org/stable/40269036
Autor:
Avron, Arnon, Konikowska, Beata
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2001 Nov 01. 69(2), 197-219.
Externí odkaz:
https://www.jstor.org/stable/20016346
Autor:
Konikowska, Beata
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 1997 Jan 01. 58(1), 185-226.
Externí odkaz:
https://www.jstor.org/stable/20015898
Autor:
Avron, Arnon1, Konikowska, Beata2
Publikováno v:
Fundamenta Informaticae. 2012, Vol. 114 Issue 1, p1-30. 30p. 1 Diagram.
Autor:
Düntsch, Ivo1 duentsch@brocku.ca, Konikowska, Beata2 beatak@ipipan.waw.pl
Publikováno v:
Fundamenta Informaticae. 2007, Vol. 75 Issue 1-4, p215-238. 24p.
Autor:
Konikowska, Beata1 beatak@ipipan.waw.pl, Penczek, Wojciech1 penczek@ipipan.waw.pl
Publikováno v:
Fundamenta Informaticae. Apr2004, Vol. 60 Issue 1-4, p211-224. 14p. 1 Diagram.