<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Rui Abreu</style></author><author><style face="normal" font="default" size="100%">Passos, Lúcio S</style></author><author><style face="normal" font="default" size="100%">Rossetti, Rosaldo JF</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Spectrum-Based Fault Localisation for Multi-Agent Systems</style></title><secondary-title><style face="normal" font="default" size="100%">IJCAI - 24th International Joint Conference on Artificial Intelligence</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year><pub-dates><date><style  face="normal" font="default" size="100%">July</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/ruimaranhao/files/ijcai15-164.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Buenos Aires</style></pub-location><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Diagnosing unwanted behaviour in Multi-Agent Systems (MASs) is crucial to ascertain agents’ correct operation. However, generation of MAS models is both error-prone and time intense, as it exponentially increases with the number of agents and their interactions. In this paper, we propose a light-weight, automatic debugging-based technique, coined ESFL-MAS, which shortens the diagnostic process, while only relying on minimal information about the system. ESFL-MAS uses a heuristic that quantifies the suspiciousness of an agent to be faulty; therefore, different heuristics may have different impact on the diagnostic quality. Our experimental evaluation shows that 10 out of 42 heuristics yield the best diagnostic accuracy (96.26% on average).&lt;/p&gt;
</style></abstract></record></records></xml>