| The space-efficient core of Vadalog G Berger, G Gottlob, A Pieris, E Sallinger ACM Transactions on Database Systems (TODS) 47 (1), 1-46, 2022 | 19 | 2022 |
| First-order rewritability of frontier-guarded ontology-mediated queries P Barceló, G Berger, C Lutz, A Pieris arXiv preprint arXiv:2011.09314, 2020 | 15 | 2020 |
| Containment for rule-based ontology-mediated queries P Barceló, G Berger, A Pieris Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2018 | 8 | 2018 |
| Ontology-Mediated Queries Distributing over Components. G Berger, A Pieris IJCAI, 943-949, 2016 | 7 | 2016 |
| On Axiomatic Rejection for the Description Logic G Berger, H Tompits Declarative Programming and Knowledge Management, 65-82, 2013 | 4 | 2013 |
| Provability interpretations of a many-sorted polymodal logic G Berger | 1 | 2015 |
| Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic E Aladova, P Barceló, J van Benthem, G Berger, KM Dannert, N Dewar, ... | | 2021 |
| Guarded Ontology-Mediated Queries P Barceló, G Berger, G Gottlob, A Pieris Hajnal Andréka and István Németi on Unity of Science, 27-52, 2021 | | 2021 |
| Static analysis for ontology-mediated querying G Berger Wien, 2019 | | 2019 |
| Additive first-order queries G Berger, M Otto, A Pieris, D Surinx, J Van den Bussche | | 2019 |
| Guarded Ontology-Mediated Queries Distributing Over Components. P Barceló, G Berger, A Pieris AMW, 2017 | | 2017 |
| Guarded ontology-mediated queries distributing over components P Barceló Baeza, G Berger, A Pieris CEUR-WS, 2017 | | 2017 |
| A many-sorted variant of Japaridze’s polymodal provability logic G Berger, LD Beklemishev, H Tompits Logic Journal of the IGPL, 2016 | | 2016 |
Andreas PierisUniversity of Edinburgh & University of CyprusVerified email at inf.ed.ac.uk
