Follow
Gerald Berger
Gerald Berger
Verified email at dbai.tuwien.ac.at
Title
Cited by
Cited by
Year
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
312022
First-order rewritability of frontier-guarded ontology-mediated queries
P Barceló, G Berger, C Lutz, A Pieris
arXiv preprint arXiv:2011.09314, 2020
182020
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
92018
Ontology-Mediated Queries Distributing over Components.
G Berger, A Pieris
IJCAI, 943-949, 2016
72016
On Axiomatic Rejection for the Description Logic
G Berger, H Tompits
International Conference on Applications of Declarative Programming and …, 2013
62013
Guarded ontology-mediated queries
P Barceló, G Berger, G Gottlob, A Pieris
Hajnal Andréka and István Németi on Unity of Science: From Computing to …, 2021
12021
Additive first-order queries
G Berger, M Otto, A Pieris, D Surinx, J Van den Bussche
22nd International Conference on Database Theory, 19: 1-19: 14, 2019
12019
Provability interpretations of a many-sorted polymodal logic
G Berger
12015
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
Static analysis for ontology-mediated querying
G Berger
Technische Universität Wien, 2019
2019
Guarded Ontology-Mediated Queries Distributing Over Components
P Barceló, G Berger, A Pieris
11th Alberto Mendelzon International Workshop on Foundations of Data …, 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
The system can't perform the operation now. Try again later.
Articles 1–13