Ontology patterns for complex activity modelling. In Theory, Practice, and Applications of Rules on the Web (pp. 144–157). Springer. http://www.csri.gr/files/publications/1._ontology_patterns_for_complex_activity_modelling.pdf

. (2013). # Vasiliki Efstathiou

## Publications

### Book Chapters

An algorithm for generating arguments in classical predicate logic. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty (pp. 119–130). Springer. http://www.csri.gr/files/publications/5.an agorithm for generating arguments in classical predicate logic.pdf

. (2009). Algorithms for effective argumentation in classical propositional logic: A connection graph approach. In Foundations of Information and Knowledge Systems (pp. 272–290). Springer. http://www.csri.gr/files/publications/7.algorithms for effective argumentation in classical propositional logic a connection graph approach.pdf

. (2008). ### Journal Papers

Algorithms for generating arguments and counterarguments in propositional logic. International Journal of Approximate Reasoning, 52, 672–704. http://www.csri.gr/files/publications/3.algorithms for generating arguments and counterarguments in classical propositional logic.pdf

. (2011). Focused search for Arguments from Propositional Knowledge. FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS, 172, 159. http://www.csri.gr/files/publications/6. focused search for arguments for propositional knowledge.pdf

. (2008). ### Conference Papers

Early language acquisition: an enactive cognition analysis on CDI understanding scores of infants aged 8-18 months. In Workshop on Extensive and Intensive Recordings of Children's Language Environment. http://www.csri.gr/files/publications/WEIRCLE-abstract.pdf

. (2015). 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 (pp. 25–30). IEEE. http://www.csri.gr/files/publications/2.spact a hybrid framework for complex activity recognition combining owl and sparql rules.pdf

. (2013). JArgue: An implemented argumentation system for classical propositional logic. In International Conference on Computational Models of Argument (COMMA’10). http://www.csri.gr/files/publications/4.jargue an implemented argumentation system for classical propositional logic.pdf

. (2010).
Vasiliki Efstathiou is a research associate at the Cognitive Systems Research Institute (CSRI) and the Institute for Language and Speech Processing (ILSP/ATHENA R.C.) currently working on the POETICON++ project (FP7 ICT). Prior to this, she worked as a postdoctoral research fellow with the Information Technologies Institute (ITI) of the Centre for Research and Technology Hellas (CERTH) and as a research associate with the Intelligent Systems group of University College London Computer Science department. Vasiliki 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 research interests lie in the area of knowledge representation and reasoning with special focus on computational argumentation systems, automated theorem proving and reasoning under uncertainty. Her Ph.D. thesis was entitled “Algorithms for Computational Argumentation in Artificial Intelligence” and investigated automated reasoning techniques for implementing computational argumentation based on classical logic. Currently, she is working on using computational argumentation in cognitive data, and on computational modeling of language acquisition in infants as a first step of a cognitive approach for taxonomy induction.