Gerald Berger

13 papers A* 4A 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
The Space-Efficient Core of Vadalog.
ACM Trans. Database Syst.
Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2020 J jnl
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
CoRR
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2019 A conf
Additive First-Order Queries.
ICDT
Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche
2019 A* conf
The Space-Efficient Core of Vadalog.
PODS
Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018 J jnl
A many-sorted variant of Japaridze's polymodal provability logic.
Log. J. IGPL
Gerald Berger, Lev D. Beklemishev, Hans Tompits
2018 A* conf
Containment for Rule-Based Ontology-Mediated Queries.
PODS
Pablo Barceló, Gerald Berger, Andreas Pieris
2018 — conf
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
AMW
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018 A* conf
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
IJCAI
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018 J jnl
The Space-Efficient Core of Vadalog.
CoRR
Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2017 J jnl
Containment for Rule-Based Ontology-Mediated Queries.
CoRR
Pablo Barceló, Gerald Berger, Andreas Pieris
2017 — conf
Guarded Ontology-Mediated Queries Distributing Over Components.
AMW
Pablo Barceló, Gerald Berger, Andreas Pieris
2016 A* conf
Ontology-Mediated Queries Distributing over Components.
IJCAI
Gerald Berger, Andreas Pieris
2013 — conf
On Axiomatic Rejection for the Description Logic
KDPD
Gerald Berger, Hans Tompits