Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:A.Steigmiller B.Glimm
Talks about:descript (2) express (2) logic (2) algorithm (1) procedur (1) backjump (1) tableau (1) complet (1) extend (1) satur (1)
Person: Thorsten Liebig
DBLP: Liebig:Thorsten
Contributed to:
20142012Wrote 2 papers:
- IJCAR-2014-SteigmillerGL #algorithm #logic
- Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (AS, BG, TL), pp. 449–463.
- IJCAR-2012-SteigmillerLG #logic
- Extended Caching, Backjumping and Merging for Expressive Description Logics (AS, TL, BG), pp. 514–529.