Zobrazeno 1 - 10
of 85
pro vyhledávání: '"Bulling, Nils"'
Autor:
Bulling, Nils, Nguyen, Hoang Nga
It is well known that the verification of resource-constrained multiagent systems is undecidable in general. In many such settings, resources are private to agents. In this paper, we investigate the model checking problem for a resource logic based o
Externí odkaz:
http://arxiv.org/abs/1508.02326
Autor:
Bulling, Nils, Goranko, Valentin
Publikováno v:
EPTCS 112, 2013, pp. 33-41
We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical analysis of the abilities of players for a
Externí odkaz:
http://arxiv.org/abs/1303.0789
Publikováno v:
In Artificial Intelligence April 2017 245:56-85
Autor:
Bulling, Nils, Dastani, Mehdi
Publikováno v:
In Artificial Intelligence October 2016 239:97-142
Autor:
Bulling, Nils, van der Hoek, Wiebe
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2016 Aug 01. 104(4), 593-595.
Externí odkaz:
http://www.jstor.org/stable/24754986
Autor:
Bulling, Nils
Publikováno v:
Zeitschrift für das Gesamte Kreditwesen. 1/15/2024, Vol. 77 Issue 2, p42-44. 3p.
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.