Probabilistic Relational Reasoning in Semantic Robot Navigation. - Walter Toro; Fábio Gagliardi Cozman; Kate Revoredo; Anna Helena Reali Costa (URSW, 2014)