The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. - Antonis Bikakis; Constantinos Papatheodorou; Grigoris Antoniou (SETN, 2008)

Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. - Grigoris Antoniou; Antonis Bikakis; Constantinos Papatheodorou (ADBIS, 2010)

On the Deployment of Contextual Reasoning in Ambient Intelligence Environments. - Constantinos Papatheodorou; Grigoris Antoniou; Antonis Bikakis (Intelligent Environments, 2010)

Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. - Grigoris Antoniou; Constantinos Papatheodorou; Antonis Bikakis (KR, 2010)

Reasoning and Proofing Services for Semantic Web Agents. - Kalliopi Kravari; Constantinos Papatheodorou; Grigoris Antoniou; Nick Bassiliades (IJCAI, 2011)

Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. - Kalliopi Kravari; Constantinos Papatheodorou; Grigoris Antoniou; Nick Bassiliades (RuleML Europe, 2011)