Gerald Berger

According to our database1, Gerald Berger authored at least 8 papers between 2013 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
The Space-Efficient Core of Vadalog.
ACM Trans. Database Syst., 2022

2019
Additive First-Order Queries.
Proceedings of the 22nd International Conference on Database Theory, 2019

2018
A many-sorted variant of Japaridze's polymodal provability logic.
Log. J. IGPL, 2018

Containment for Rule-Based Ontology-Mediated Queries.
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
Guarded Ontology-Mediated Queries Distributing Over Components.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016
Ontology-Mediated Queries Distributing over Components.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2013
On Axiomatic Rejection for the Description Logic <i>ALC</i>.
Proceedings of the Declarative Programming and Knowledge Management, 2013


  Loading...