BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hernich:Andr=eacute=

Contributed to:

KR 20142014
PODS 20132013
CSL 20112011
PODS 20072007
PODS 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.