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)

C-NGINE: A Contextual Navigation Guide for Indoor Environments. - Manolis Kritsotakis; Maria Michou; Emmanouil Nikoloudakis; Antonis Bikakis; Theodore Patkos; Grigoris Antoniou; Dimitris Plexousakis (AmI, 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)

Design and implementation of a semantics-based Contextual Navigation Guide for Indoor Environments. - Manolis Kritsotakis; Maria Michou; Emmanouil Nikoloudakis; Antonis Bikakis; Theodore Patkos; Grigoris Antoniou; Dimitris Plexousakis (J. Ambient Intell. Smart Environ., 2009)