Up a level |
van Ditmarsch, H, Van Der Hoek, W, Kooi, B and Kuijer, L ORCID: 0000-0001-6696-9023
(2017)
Arbitrary Arrow Update Logic.
Artificial Intelligence, 242.
pp. 80-106.
Claes, D
(2018)
Decentralised Multi-Robot Systems
Towards Coordination in Real World Settings.
PhD thesis, University of Liverpool.
Van Der Hoek, W and Belardinelli, F
(2015)
Epistemic Quantified Boolean Logic.
In: International Joint Conference on Artificial Intelligence (IJCAI).
Van Ditmarsch, H, Van Der Hoek, W and Kuijer, LB ORCID: 0000-0001-6696-9023
(2016)
Fully Arbitrary Public Announcements.
.
Grossi, D, Van Der Hoek, W and Kuijer, LB ORCID: 0000-0001-6696-9023
(2020)
Logics of preference when there is no best.
In: 17th International Conference on Principles of Knowledge Representation and Reasoning.
Van Der Hoek, W, Apt, Krzysztof and Grossi, Davide ORCID: 0000-0002-9709-030X
(2018)
When Are Two Gossips the Same?
In: International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2018-11-16 - 2018-11-21, Awassa, Ethopia.