Andreas Pieris
Biography
Andreas Pieris is a postdoctoral researcher at the Department of Computer Science, University of Oxford. He obtained his Ph.D. at the University of Oxford under the supervision of Prof. Georg Gottlob in September 2011. His main research interests lie in the intersection of knowledge representation and reasoning and theory of algorithms and complexity, drawing motivation and research questions from the former, and employing technical tools and methodologies from the latter. In particular, he is interested in the identification of expressive logical languages under which reasoning (such as query answering and satisfiability) is decidable, and analyse their computational complexity. He received his MSc degree in Mathematics and Foundations of Computer Science from the Mathematical Institute of the University of Oxford in September 2007, and his BSc degree in Computer Science from the Computer Science Department of the University of Cyprus in June 2006.
Selected Publications
-
Inconsistency−Tolerant Query Answering for Existential Rules
Thomas Lukasiewicz‚ Enrico Malizia‚ Maria Vanina Martinez‚ Cristian Molinaro‚ Andreas Pieris and Gerardo I. Simari
In Artificial Intelligence. Vol. 307. Pages 103685. June, 2022.
Details about Inconsistency−Tolerant Query Answering for Existential Rules | BibTeX data for Inconsistency−Tolerant Query Answering for Existential Rules | Link to Inconsistency−Tolerant Query Answering for Existential Rules
-
From Classical to Consistent Query Answering under Existential Rules
Thomas Lukasiewicz‚ Maria Vanina Martinez‚ Andreas Pieris and Gerardo I. Simari
In Blai Bonet and Sven Koenig, editors, Proceedings of the 29th National Conference on Artificial Intelligence‚ AAAI 2015‚ Austin‚ Texas‚ USA‚ January 25−29‚ 2015. Pages 1546−1552. AAAI Press. January, 2015.
Details about From Classical to Consistent Query Answering under Existential Rules | BibTeX data for From Classical to Consistent Query Answering under Existential Rules | Link to From Classical to Consistent Query Answering under Existential Rules
-
From Classical to Consistent Query Answering under Existential Rules
Thomas Lukasiewicz‚ Maria Vanina Martinez‚ Andreas Pieris and Gerardo I. Simari
In Andrea Calì and Maria−Esther Vidal, editors, Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management‚ AMW 2015‚ Lima‚ Peru‚ May 6−8‚ 2015.. Vol. 1378 of CEUR Workshop Proceedings. Pages 40−45. CEUR−WS.org. 2015.
Details about From Classical to Consistent Query Answering under Existential Rules | BibTeX data for From Classical to Consistent Query Answering under Existential Rules | Link to From Classical to Consistent Query Answering under Existential Rules