13
Publications
268
Citations
12
H-Index
2006
Active since
André Hernich is an author at Humboldt-Universität zu Berlin specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceAutomated ReasoningData ScienceSemantic WebFormal MethodsSemanticsData ManagementManagementData Integration
Publications per year
2006–2021
13
13
Stable model semantics for guarded existential rules and description logics
Georg Gottlob, André Hernich, Clemens Kupke et al. · 2014 · 27 citations
André Hernich, Leonid Libkin, Nicole Schweikardt · ACM Transactions on Database Systems · 2011 · 26 citations
Randomized computations on large data sets
Martin Grohe, André Hernich, Nicole Schweikardt · 2006 · 25 citations
Well-founded semantics for extended datalog and ontological reasoning
André Hernich, Clemens Kupke, Thomas Lukasiewicz et al. · 2013 · 24 citations
Rows per page
1–5 of 13