publicações selecionadas artigo de revista A dynamic default revision mechanism for speculative computation. Autonomous Agents and Multi-Agent Systems. 2017 livro A Reasoning Module for Distributed Clinical Decision Support Systems 2016