N. Bassiliades, G. Antoniou, G. Governatori, “Proof Explanation in the DR-DEVICE System”, 1st International Conference on Web Reasoning and Rule Systems (RR 2007), Springer-Verlag, LNCS 4524, pp. 249-258, Innsbruck, Austria, 7-8 June 2007, 2007.

Authors:

Availiability:

Appeared In:

Keywords:

Tags:

Abstract: