Author:Alberto Iglesias

Publications
A Tool for Reasoning about Trust and Belief Aaron Hunter and Alberto Iglesias In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning