A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. - Grigoris Antoniou; Antonis Bikakis; Polyvios Damianakis; Mixalhs Foukarakis; Giorgos Iacovidis; Marianna Karmazi; Haridimos Kondylakis; Antreas Makridakis; Giorgos Nikiforos; George Papadourakis; Manolis Papoutsakis; Aggeliki Psyharaki; et al. (SETN, 2008)