 | Up a level |
Claes, Daniel, Oliehoek, Frans 
ORCID: 0000-0003-4372-5055, Baier, Hendrik and Tuyls, Karl
(2017)
Decentralised Online Planning for Multi-Robot Warehouse Commissioning.
In: 16th International Conference on Autonomous Agents and Multiagent Systems, 2017-5-8 - 2017-5-12, Sao Paulo, Brazil.
Krysta, P, Li, M, Payne, TR ORCID: 0000-0002-0106-8731 and Zhi, N
(2017)
Mechanism Design for Ontology Alignment.
In: 16th Conference on Autonomous Agents and MultiAgent Systems, 2017-5-8 - 2017-5-12, São Paulo, Brazil.
Winikoff, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael
(2019)
Slicing Agent Programs for More Efficient Verification.
In: Engineering Multi-Agent Systems, 2018-7-14 - ?, Stockholm, Sweden.
Dennis, Louise A ORCID: 0000-0003-1426-1896, Farwer, Berndt, Bordini, Rafael H, Fisher, Michael and Wooldridge, Michael
(2008)
A common semantic basis for BDI languages.
In: Programming Multi-Agent Systems, Honolulu, USA.