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: Jung:Jean_Christoph
Contributed to:
2014
2014
2012Wrote 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.