Implementing Modal Extensions of Defeasible Logic for the Semantic Web. - Nikos Dimaresis; Grigoris Antoniou (AAAI, 2007)

Proof Explanation for the Semantic Web Using Defeasible Logic. - Grigoris Antoniou; Antonis Bikakis; Nikos Dimaresis; Manolis Genetzakis; Giannis Georgalis; Guido Governatori; Efie Karouzaki; Nikolaos Kazepis; Dimitris Kosmadakis; Manolis Kritsotakis; Giannis Lilis; Antonis Papadogiannakis; et al. (KSEM, 2007)

A system for modal and deontic defeasible reasoning. - Grigoris Antoniou; Nikos Dimaresis; Guido Governatori (SAC, 2008)

Proof explanation for a nonmonotonic Semantic Web rules language. - Grigoris Antoniou; Antonis Bikakis; Nikos Dimaresis; Manolis Genetzakis; Giannis Georgalis; Guido Governatori; Efie Karouzaki; Nikolaos Kazepis; Dimitris Kosmadakis; Manolis Kritsotakis; Giannis Lilis; Antonis Papadogiannakis; et al. (Data Knowl. Eng., 2008)

A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. - Grigoris Antoniou; Nikos Dimaresis; Guido Governatori (Expert Syst. Appl., 2009)