 | 2011 |
| 5 |  | Kalliopi Kravari,
Constantinos Papatheodorou,
Grigoris Antoniou,
Nick Bassiliades:
Reasoning and Proofing Services for Semantic Web Agents.
IJCAI 2011: 2662-2667 |
| 4 |  | Kalliopi Kravari,
Constantinos Papatheodorou,
Grigoris Antoniou,
Nick Bassiliades:
Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers.
RuleML Europe 2011: 29-43 |
| 2010 |
| 3 |  | Grigoris Antoniou,
Antonis Bikakis,
Constantinos Papatheodorou:
Reasoning with Imperfect Context and Preference Information in Multi-Context Systems.
ADBIS 2010: 1-12 |
| 2 |  | Grigoris Antoniou,
Constantinos Papatheodorou,
Antonis Bikakis:
Reasoning about Context in Ambient Intelligence Environments: A Report from the Field.
KR 2010 |
| 2008 |
| 1 |  | Antonis Bikakis,
Constantinos Papatheodorou,
Grigoris Antoniou:
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web.
SETN 2008: 345-351 |