Yu Ding

Model-Based Planning for Object-Rearrangement Problems

M. Garagnani, Yu Ding, 2003 .

An ExpTime Procedure for Satisfiability Problems in Description Logic $\mathcal{ALCQI}$

Yu Ding, Yu Ding, 2007 .

Tableau-based reasoning for description logics with inverse roles and number restrictions

Yu Ding, Yu Ding, 2008 .

An ExpTime Procedure for Description Logic $\mathcal{ALCQI}$ (Draft)

Yu Ding, Yu Ding, 2007, cs/0703051.