School of Informatics AUTh
E. Kontopoulos, N. Bassiliades, G. Governatori, G. Antoniou, “Extending a Defeasible Reasoner with Modal and Deontic Logic Operators”, Proceedings of Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008) at IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, IEEE Computer Society Pr
I. Avguleas, K. Gkirtzou, S. Triantafilou, A. Bikakis, G. Antoniou, E. Kontopoulos, N. Bassiliades, “Visualization of Proofs in Defeasible Logic”, Proceedings of the 2008 International Symposium on Rule Interchange and Applications (RuleML-2008), Nick Bassiliades, Guido Governatori, Adrian Paschke (Ed.), Springer, LNCS, Vol. 5321, pp. 197-210, Orla
E. Kontopoulos, N. Bassiliades, G. Antoniou, “Visual Stratification of Defeasible Logic Rule Bases”, Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), IEEE, pp. 238-245, Patras, Greece, 2007.
E. Kontopoulos, N. Bassiliades, G. Antoniou, “A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data”, 1st International Conference on Web Reasoning and Rule Systems (RR 2007), Springer, LNCS 4524, pp. 367-369, Innsbruck, Austria, 7-8 June, 2007.
N. Bassiliades, G. Antoniou, G. Governatori, “Proof Explanation in the DR-DEVICE System”, 1st International Conference on Web Reasoning and Rule Systems (RR 2007), Springer-Verlag, LNCS 4524, pp. 249-258, Innsbruck, Austria, 7-8 June 2007, 2007.
E. Kontopoulos, N. Bassiliades, G. Antoniou, “Visualizing Defeasible Logic Rules for the Semantic Web”, 1st Asian Semantic Web Conference (ASWC'06), Springer-Verlag, LNCS 4185, pp. 278-292, Beijing, China, 3-7 September, 2006.
E. Kontopoulos, N. Bassiliades, G. Antoniou, “A Non-Monotonic Reasoning System for RDF Metadata”, Proc. 11th Int. Workshop on Non-Monotonic Reasoning, pp. 285-293, Lake District area, UK, 30 May - 1 June, 2006.
N. Bassiliades, E. Kontopoulos, G. Antoniou, “VDR-DEVICE: A Visual Editor for a Defeasible Logic Rule-ML-compatible Rule Language”, 4th International Semantic Web Conference (ISWC2005), Demo/Poster Session, Edward Curry (Ed.), Galway, Ireland, 6-10 November, 2005.
N. Bassiliades, E. Kontopoulos, G. Antoniou, “A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web”, Proc. International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML-2005), A. Adi, S. Stoutenburg, S. Tabet (Ed.), Springer-Verlag, LNCS 3791, pp. 172-186, Galway, Ireland, 10-12 November, 2005.
N. Bassiliades, E. Kontopoulos, G. Antoniou, I. Vlahavas, “A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web”, 10th Panhellenic Conference on Informatics (PCI 2005), P. Bozanis and E.N. Houstis (Eds.), Springer-Verlag, LNCS 3746, Volos, Greece, 11-13 November, 2005.