Vasiliki Efstathiou

...

E-mail: vefstathiou@aueb.gr
Office phone: +30 2108203508
Office address: Troias 2, Lab 03
Postal address: 76 Patission str, 104 34, Athens, Greece
LinkedIn: https://www.linkedin.com/in/vefstathiou/

Biographical Information

Vasiliki Efstathiou holds a PhD in Computer Science from University College London, an MSc in Computer Science from the same University and a BSc in Mathematics from the University of Crete. Her PhD thesis investigated automated theorem proving techniques for implementing computational argumentation based on classical logic. Her research interests lie in the wider area of knowledge representation, reasoning and natural language processing, whereas her current research focuses on mining software repositories with particular interest on developer interaction data.

Publications

Journal Articles

    • Vasiliki Efstathiou and Anthony Hunter. Algorithms for generating arguments and counterarguments in propositional logic. International Journal of Approximate Reasoning, 52(6):672–704, 2011.

Conference Publications

    • Vasiliki Efstathiou and Diomidis Spinellis. Code review comments: language matters. In 40th International Conference on Software Engineering: New Ideas and Emerging Results Track, ICSE-NIER '18. New York, NY, USA, May 2018. Association for Computing Machinery.
    • Vasiliki Efstathiou, Christos Chatzilenas, and Diomidis Spinellis. Word embeddings for the software engineering domain. In 15th International Conference on Mining Software Repositories: Data Showcase Track, MSR '18. New York, NY, USA, May 2018. Association for Computing Machinery.
    • Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou, and Ioannis Kompatsiaris. Sp-act: a hybrid framework for complex activity recognition combining owl and sparql rules. In Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 IEEE International Conference on, 25–30. 2013.
    • Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou, and Ioannis Kompatsiaris. Ontology patterns for complex activity modelling. In International Workshop on Rules and Rule Markup Languages for the Semantic Web, 144–157. Springer, 2013.
    • Vasiliki Efstathiou and Anthony Hunter. Jargue: an implemented argumentation system for classical propositional logic. In Third International Conference on Computational Models of Argument. 2010.
    • Vasiliki Efstathiou and Anthony Hunter. An algorithm for generating arguments in classical predicate logic. In European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 119–130. Springer, 2009.
    • Vasiliki Efstathiou and Anthony Hunter. Focused search for arguments from propositional knowledge. In Second International Conference on Computational Models of Argument, 159–170. 2008.
    • Vasiliki Efstathiou and Anthony Hunter. Algorithms for effective argumentation in classical propositional logic: a connection graph approach. In International Symposium on Foundations of Information and Knowledge Systems, 272–290. Springer, 2008.