Travelled to:1 × Austria
1 × China
1 × Norway
2 × USA
Collaborated with:N.Schweikardt M.Grohe G.Gottlob C.Kupke T.Lukasiewicz B.Grußien B.Laubner
Talks about:semant (2) logic (2) data (2) set (2) logarithm (1) existenti (1) descript (1) ontolog (1) exchang (1) datalog (1)
Person: André Hernich
DBLP: Hernich:Andr=eacute=
Contributed to:
2014
2013
201120072006Wrote 5 papers:
- KR-2014-GottlobHKL #logic #semantics
- Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).
- PODS-2013-HernichKLG #datalog #ontology #reasoning #semantics
- Well-founded semantics for extended datalog and ontological reasoning (AH, CK, TL, GG), pp. 225–236.
- CSL-2011-GroheGHL #logic #recursion
- L-Recursion and a new Logic for Logarithmic Space (MG, BG, AH, BL), pp. 277–291.
- PODS-2007-HernichS #dependence
- CWA-solutions for data exchange settings with target dependencies (AH, NS), pp. 113–122.
- PODS-2006-GroheHS #bound #random #scalability #set
- Randomized computations on large data sets: tight lower bounds (MG, AH, NS), pp. 243–252.