Zhao, Yuting

2 publications

AAAI 2010 Soundness Preserving Approximation for TBox Reasoning Yuan Ren, Jeff Z. Pan, Yuting Zhao

AAAI 2002 ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers Fangzhen Lin, Yuting Zhao