André Hernich

34 papers A* 10A 2B 2Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Foreign Keys Open the Door for Faster Incremental View Maintenance.
Proc. ACM Manag. Data
Christoforos Svingos, André Hernich, Hinnerk Gildhoff, Yannis Papakonstantinou, Yannis E. Ioannidis
2021 J jnl
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity.
J. ACM
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2020 J jnl
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.
ACM Trans. Comput. Log.
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2018 J jnl
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.
CoRR
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2018 A* conf
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.
IJCAI
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2017 A* conf
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.
PODS
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2017 A* conf
Foundations of information integration under bag semantics.
LICS
André Hernich, Phokion G. Kolaitis
2017 — conf
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes.
Description Logics
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
2017 A* conf
Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach.
AAAI
André Hernich, Julio Lemos, Frank Wolter
2016 — conf
Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes.
Description Logics
André Hernich, Julio Lemos, Frank Wolter
2015 — conf
Schema.org as a Description Logic.
Description Logics
André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
2015 A* conf
Schema.org as a Description Logic.
IJCAI
André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
2014 A* conf
Stable Model Semantics for Guarded Existential Rules and Description Logics.
KR
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2013 — ch.
Semantics for Non-Monotone Queries in Data Exchange and Data Integration.
Data Exchange, Information, and Streams
André Hernich
2013 — conf
Well-Founded Semantics for Extended Datalog and Ontological Reasoning.
Description Logics
André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
2013 A* conf
Well-founded semantics for extended datalog and ontological reasoning.
PODS
André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
2012 A conf
Computing universal models under guarded TGDs.
ICDT
André Hernich
2012 A* conf
Equality-Friendly Well-Founded Semantics and Applications to Description Logics.
AAAI
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2012 — conf
Equality-Friendly Well-Founded Semantics and Applications to Description Logics.
Description Logics
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2012 J jnl
L-Recursion and a new Logic for Logarithmic Space
Log. Methods Comput. Sci.
Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner
2011 J jnl
Answering Non-Monotonic Queries in Relational Data Exchange
Log. Methods Comput. Sci.
André Hernich
2011 J jnl
Closed world data exchange.
ACM Trans. Database Syst.
André Hernich, Leonid Libkin, Nicole Schweikardt
2011 B conf
L-Recursion and a new Logic for Logarithmic Space.
CSL
Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner
2010 A conf
Answering non-monotonic queries in relational data exchange.
ICDT
André Hernich
2010 — —
Foundations of query answering in relational data exchange.
André Hernich
2010 — ch.
Grundlagen der Anfrageverarbeitung beim relationalen Datenaustausch.
Ausgezeichnete Informatikdissertationen
André Hernich
2009 J jnl
Lower bounds for processing data with few random accesses to external memory.
J. ACM
Martin Grohe, André Hernich, Nicole Schweikardt
2008 — conf
Logic and Data Exchange: Which Solutions Are "Good" Solutions?
LOFT
André Hernich, Nicole Schweikardt
2008 J jnl
Reversal complexity revisited.
Theor. Comput. Sci.
André Hernich, Nicole Schweikardt
2007 A* conf
CWA-solutions for data exchange settings with target dependencies.
PODS
André Hernich, Nicole Schweikardt
2007 J jnl
Randomized Computations on Large Data Sets: Tight Lower Bounds
CoRR
Martin Grohe, André Hernich, Nicole Schweikardt
2006 A* conf
Randomized computations on large data sets: tight lower bounds.
PODS
Martin Grohe, André Hernich, Nicole Schweikardt
2006 J jnl
Reversal Complexity Revisited
CoRR
André Hernich, Nicole Schweikardt
2005 B conf
Combining Self-reducibility and Partial Information Algorithms.
MFCS
André Hernich, Arfst Nickelsen