Zobrazeno 1 - 10
of 312
pro vyhledávání: '"Vardi M"'
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.
As engineered systems expand, become more interdependent, and operate in real-time, reliability assessment is indispensable to support investment and decision making. However, network reliability problems are known to be #P-complete, a computational
Externí odkaz:
http://arxiv.org/abs/1806.00917
Publikováno v:
Iranian Journal of Veterinary Research. 2022, Vol. 23 Issue 4, p302-309. 8p.
Autor:
Pistore, M., Vardi, M. Y.
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 30, pages 101-132, 2007
Linear Temporal Logic (LTL) is widely used for defining conditions on the execution paths of dynamic systems. In the case of dynamic systems that allow for nondeterministic evolutions, one has to specify, along with an LTL formula f, which are the pa
Externí odkaz:
http://arxiv.org/abs/1109.6346
We consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but common knowledge is unattainable in the real world because of temporal imprecision. We discuss two solutions to th
Externí odkaz:
http://arxiv.org/abs/cs/9809003
Autor:
Fagin, R, Gottlob, G, Papadimitriou, C, Vardi, M, Ausiello, G, Lenzerini, M, Palopoli, L, Saccà, D, Scarcello, F
The twenty-ninth edition of the SEBD (Italian Symposium on Advanced Database Systems), held on 5-9 September 2021 in Pizzo (Calabria Region, Italy), included a joint seminar on “Reminiscence of TIDB 1981” with invited talks given by some of the p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::34d12b6de494a6054126482709b985f2
https://ora.ox.ac.uk/objects/uuid:3e520306-5028-41a5-a077-3c0a3c145cb9
https://ora.ox.ac.uk/objects/uuid:3e520306-5028-41a5-a077-3c0a3c145cb9
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.
Do agents know each others' strategies? In multi-process software construction, each process has access to the processes already constructed; but in typical human-robot interactions, a human may not announce their strategy to the robot (indeed, the h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3730::fffc6714e6a12860f1a331b2d3a4f877
https://hdl.handle.net/11588/910459
https://hdl.handle.net/11588/910459
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.