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
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2019
122019
First-order rewritability of frontier-guarded ontology-mediated queries
P Barceló, G Berger, C Lutz, A Pieris
arXiv preprint arXiv:2011.09314, 2020
112020
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
82018
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
Declarative Programming and Knowledge Management, 65-82, 2013
42013
Provability interpretations of a many-sorted polymodal logic
G Berger
12015
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
22nd International Conference on Database Theory (ICDT 2019), 2019
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
The system can't perform the operation now. Try again later.
Articles 1–12