Browse by People

van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2020) Arrow update synthesis. INFORMATION AND COMPUTATION, 275. p. 104544.

Claes, Daniel, Robbel, Philipp, Oliehoek, Frans A ORCID: 0000-0003-4372-5055, Tuyls, Karl, Hennes, Daniel and van der Hoek, Wiebe (2015) Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey.

Apt, Krzysztof R, Grossi, Davide ORCID: 0000-0002-9709-030X and van der Hoek, Wiebe (2016) Epistemic Protocols for Distributed Gossiping. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 215 (215). pp. 51-66.

Belardinelli, Francesco and van der Hoek, Wiebe (2015) Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015-J. pp. 2748-2754.

Alechina, Natasha, van der Hoek, Wiebe and Logan, Brian (2014) Fair Allocation of Group Tasks According to Social Norms. .

Alechina, Natasha, van der Hoek, Wiebe and Logan, Brian (2017) Fair decomposition of group obligations. JOURNAL OF LOGIC AND COMPUTATION, 27 (7). pp. 2043-2062.

Bonanno, Giacomo, van der Hoek, Wiebe ORCID: 0000-0003-0721-0310 and Perea, Andres (2018) Introduction to the Special Section on Logic and the Foundations of Game and Decision Theory (LOFT12). B E JOURNAL OF THEORETICAL ECONOMICS, 18 (2). 20180059-.

Grossi, Davide ORCID: 0000-0002-9709-030X and van der Hoek, Wiebe (2014) Justified Beliefs by Justified Arguments. In: KR 2014, 2014-7-20 - 2014-7-24.

Belardinelli, Francesco, van Ditmarsch, Hans and van der Hoek, Wiebe (2017) A Logic for Global and Local Announcements. In: Theoretical Aspects of Rationality and Knowledge (TARK), 2017-7-24 - 2017-7-26, Liverpool.

Grossi, Davide ORCID: 0000-0002-9709-030X, Herzig, Andreas, van der Hoek, Wiebe and Moyzes, Christos (2017) Non-Determinism and the Dynamics of Knowledge. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017-8-19 - 2017-8-26.

Grossi, Davide ORCID: 0000-0002-9709-030X, van der Hoek, Wiebe and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2022) Reasoning about general preference relations. Artificial Intelligence, 313. p. 103793.

Belardinelli, Francesco, van Ditmarsch, Hans and van der Hoek, Wiebe (2016) Second-order Propositional Announcement Logic. In: International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), 2016-5-9 - 2016-5-13, Singapore.

Balbiani, Philippe, van der Hoek, Wiebe and Kuijer, Louwe B ORCID: 0000-0001-6696-9023 (2023) Simple Axioms for Local Properties. In: TARK-2023, Oxford, UK.

van der Hoek, Wiebe, Kuijer, Louwe B ORCID: 0000-0001-6696-9023 and Wang, Yi N (2022) Who Should Be My Friends? Social Balance from the Perspective of Game Theory. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 31 (2). pp. 189-211.

van Ditmarsch, Hans, van der Hoek, Wiebe and Kuijer, Louwe B (2017) The undecidability of arbitrary arrow update logic. THEORETICAL COMPUTER SCIENCE, 693. pp. 1-12.