Zobrazeno 1 - 10
of 240
pro vyhledávání: '"Wirsing, Martin"'
An epistemic ensemble is composed of knowledge-based agents capable of retrieving and sharing knowledge and beliefs about themselves and their peers. These agents access a global knowledge state and use actions to communicate and cooperate, altering
Externí odkaz:
http://arxiv.org/abs/2408.01115
Ehrenfeucht-Fra\"iss\'e games provide means to characterize elementary equivalence for first-order logic, and by standard translation also for modal logics. We propose a novel generalization of Ehrenfeucht- Fra\"iss\'e games to hybrid-dynamic logics
Externí odkaz:
http://arxiv.org/abs/2406.02094
There are known characterisations of several fragments of hybrid logic by means of invariance under bisimulations of some kind. The fragments include $\{\store, \jump\}$ with or without nominals (Areces, Blackburn, Marx), $\jump$ with or without nomi
Externí odkaz:
http://arxiv.org/abs/2312.14661
Autor:
Belzner, Lenz, Wirsing, Martin
We propose to leverage epistemic uncertainty about constraint satisfaction of a reinforcement learner in safety critical domains. We introduce a framework for specification of requirements for reinforcement learners in constrained settings, including
Externí odkaz:
http://arxiv.org/abs/2005.03898
In collective adaptive systems (CAS), adaptation can be implemented by optimization wrt. utility. Agents in a CAS may be self-interested, while their utilities may depend on other agents' choices. Independent optimization of agent utilities may yield
Externí odkaz:
http://arxiv.org/abs/1804.10781
Publikováno v:
EPTCS 36, 2010, pp. 1-25
Pervasive user-centric applications are systems which are meant to sense the presence, mood, and intentions of users in order to optimize user comfort and performance. Building such applications requires not only state-of-the art techniques from arti
Externí odkaz:
http://arxiv.org/abs/1009.4259
Autor:
Wirsing, Martin1 (AUTHOR), Knapp, Alexander2 (AUTHOR) alexander.knapp@uni-a.de
Publikováno v:
Logic Journal of the IGPL. Dec2023, Vol. 31 Issue 6, p1047-1068. 22p.
Publikováno v:
International Journal on Software Tools for Technology Transfer; Dec2023, Vol. 25 Issue 5/6, p617-624, 8p