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 × Croatia
1 × Denmark
Collaborated with:
V.Gutiérrez-Basulto T.Schneider S.Göller M.Lohrey C.Lutz S.Goncharov L.Schröder
Talks about:
order (2) logic (2) first (2) probabilist (1) lightweight (1) troublesom (1) fragment (1) descript (1) decompos (1) marriag (1)

Person: Jean Christoph Jung

DBLP DBLP: Jung:Jean_Christoph

Contributed to:

ICALP (2) 20142014
KR 20142014
LICS 20122012

Wrote 3 papers:

ICALP-v2-2014-JungLGS #first-order #logic #probability
Monodic Fragments of Probabilistic First-Order Logic (JCJ, CL, SG, LS), pp. 256–267.
KR-2014-Gutierrez-BasultoJ0 #branch #lightweight #logic
Lightweight Description Logics and Branching Time: A Troublesome Marriage (VGB, JCJ, TS).
LICS-2012-GollerJL #complexity #first-order
The Complexity of Decomposing Modal and First-Order Theories (SG, JCJ, ML), pp. 325–334.

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.