The following publications are possibly variants of this publication:
- Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE systemEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou. kbs, 24(3):406-419, 2011. [doi]
- The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic WebAntonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou. setn 2008: 345-351 [doi]
- A Defeasible Logic Reasoner for the Semantic WebNick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas. ruleml 2004: 49-64 [doi]
- A Defeasible Logic Reasoner for the Semantic WebNick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas. ijswis, 2(1):1-41, 2006. [doi]
- Combining Description Logic and Defeasible Logic for the Semantic WebKewen Wang, David Billington, Jeff Blee, Grigoris Antoniou. ruleml 2004: 170-181 [doi]
- DR-DEVICE: A Defeasible Logic System for the Semantic WebNick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas. ppswr 2004: 134-148 [doi]
- Implementing Modal Extensions of Defeasible Logic for the Semantic WebNikos Dimaresis, Grigoris Antoniou. AAAI 2007: 1848-1849
- A Modal Defeasible Reasoner of Deontic Logic for the Semantic WebEfstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou. ijswis, 7(1):18-43, 2011. [doi]
- Visualizing Defeasible Logic Rules for the Semantic WebEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou. aswc 2006: 278-292 [doi]
- Deploying defeasible logic rule bases for the semantic webEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou. DKE, 66(1):116-146, 2008. [doi]
- Proof explanation for a nonmonotonic Semantic Web rules languageGrigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis. DKE, 64(3):662-687, 2008. [doi]
- Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof LayersKalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades. ruleml 2011: 29-43 [doi]
- A Semantic Web Based Architecture for e-Contracts in Defeasible LogicGuido Governatori, Duy Hoang. ruleml 2005: 145-159 [doi]
- Visualization of Proofs in Defeasible LogicIoannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades. ruleml 2008: 197-210 [doi]