Seguir
André Hernich
Título
Citado por
Citado por
Año
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
502007
Stable model semantics for guarded existential rules and description logics
G Gottlob, A Hernich, C Kupke, T Lukasiewicz
Fourteenth International Conference on the Principles of Knowledge …, 2014
402014
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
362013
Closed World Data Exchange
A Hernich, L Libkin, N Schweikardt
ACM Transactions on Database Systems (ACM TODS) 36 (2), Article 14, 2011
342011
Answering Non-Monotonic Queries in Relational Data Exchange
A Hernich
13th International Conference on Database Theory (ICDT 2010), 143-154, 2010
292010
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
282020
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
262006
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), 757-764, 2012
222012
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
202017
Schema. org as a Description Logic.
A Hernich, C Lutz, A Ozaki, F Wolter
Description Logics, 2015
182015
Computing Universal Models Under Guarded TGDs
A Hernich
15th International Conference on Database Theory (ICDT 2012), 222-235, 2012
182012
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
182009
Reversal Complexity Revisited
A Hernich, N Schweikardt
Theoretical Computer Science 401 (1), 191-205, 2008
162008
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
152013
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
92017
Foundations of Query Answering in Relational Data Exchange
A Hernich
Goethe University Frankfurt am Main, 2010
92010
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
92010
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.
A Hernich, C Lutz, F Papacchini, F Wolter
IJCAI, 1861-1867, 2018
72018
Applying relational algebraic operations to change result sets of source tables to update a materialized view
Y Papakonstantinou, V Ercegovac, A Hernich, E Siragusa, G Saxena
US Patent 11,256,684, 2022
62022
Data Exchange, Integration, and Streams
PG Kolaitis, M Lenzerini, N Schweikardt
Data Exchange, Information, and Streams 5, 2013
62013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20