Travelled to:
1 × United Kingdom
Collaborated with:
G.Qi
Talks about:
increment (1) algorithm (1) pinpoint (1) variant (1) axiom (1)
Person: Xiaojun Cheng
DBLP: Cheng:Xiaojun
Contributed to:
Wrote 1 papers:
- CIKM-2011-ChengQ #algorithm #axiom #incremental
- An algorithm for axiom pinpointing in EL+ and its incremental variant (XC, GQ), pp. 2433–2436.