CWA-Solutions for Data Exchange Settings with Target Dependencies A Hernich, N Schweikardt 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems …, 2007 | 48 | 2007 |
Stable Model Semantics for Guarded Existential Rules and Description Logics. G Gottlob, A Hernich, C Kupke, T Lukasiewicz KR, 2014 | 33 | 2014 |
Well-Founded Semantics for Extended Datalog and Ontological Reasoning A Hernich, C Kupke, T Lukasiewicz, G Gottlob 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems …, 2013 | 32 | 2013 |
Closed World Data Exchange A Hernich, L Libkin, N Schweikardt ACM Transactions on Database Systems (ACM TODS) 36 (2), Article 14, 2011 | 31 | 2011 |
Answering Non-Monotonic Queries in Relational Data Exchange A Hernich Logical Methods in Computer Science (LMCS) 7 (3), Paper 9, 2011 | 28 | 2011 |
Answering Non-Monotonic Queries in Relational Data Exchange A Hernich 13th International Conference on Database Theory (ICDT 2010), 143-154, 2010 | 28 | 2010 |
Randomized Computations on Large Data Sets: Tight Lower Bounds M Grohe, A Hernich, N Schweikardt 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems …, 2006 | 25 | 2006 |
Equality-friendly well-founded semantics and applications to description logics G Gottlob, A Hernich, C Kupke, T Lukasiewicz Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 2012 | 19 | 2012 |
Lower Bounds for Processing Data with Few Random Accesses to External Memory M Grohe, A Hernich, N Schweikardt Journal of the ACM (JACM) 56 (3), Article 12, 2009 | 18 | 2009 |
Dichotomies in ontology-mediated querying with the guarded fragment A Hernich, C Lutz, F Papacchini, F Wolter ACM Transactions on Computational Logic (TOCL) 21 (3), 1-47, 2020 | 16 | 2020 |
Computing Universal Models Under Guarded TGDs A Hernich 15th International Conference on Database Theory (ICDT 2012), 222-235, 2012 | 16 | 2012 |
Reversal Complexity Revisited A Hernich, N Schweikardt Theoretical Computer Science 401 (1), 191-205, 2008 | 16 | 2008 |
L-Recursion and a new Logic for Logarithmic Space M Grohe, B Grußien, A Hernich, B Laubner Logical Methods in Computer Science 9 (1), Paper 11, 2013 | 14 | 2013 |
L-Recursion and a New Logic for Logarithmic Space M Grohe, B Grußien, A Hernich, B Laubner 25th International Workshop on Computer Science Logic (CSL 2011), 277-291, 2011 | 14 | 2011 |
Foundations of information integration under bag semantics A Hernich, PG Kolaitis 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 13 | 2017 |
Schema. org as a description logic A Hernich, C Lutz, A Ozaki, F Wolter PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON …, 2015 | 13 | 2015 |
Foundations of Query Answering in Relational Data Exchange A Hernich Goethe University Frankfurt am Main, 2010 | 8 | 2010 |
Logic and Data Exchange: Which Solutions are “Good” Solutions? A Hernich, N Schweikardt Logic and the Foundations of Game and Decision Theory–LOFT 8, 61-85, 2010 | 7 | 2010 |
Query answering in DL-Lite with datatypes: A non-uniform approach A Hernich, J Lemos, F Wolter Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 6 | 2017 |
Horn-rewritability vs PTime query evaluation in ontology-mediated querying A Hernich, C Lutz, F Papacchini, F Wolter Proceedings of the Twenty-Seventh International Joint Conference on …, 2018 | 5 | 2018 |