Chan Le Duc

About

Description is not available.

Uploaded videos

A decision procedure for SHOIQ with transitive closure of roles

Chan Le Duc

2013-11-28

·

4210 Views

Decidability of SHI with Transitive Closure of Roles

Chan Le Duc

2009-07-28

·

3599 Views