Yu Ding

Affiliations:

Concordia University, Montreal, QC, Canada

According to our database¹, Yu Ding authored at least 4 papers between 2005 and 2007.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2007

A New Mapping from ALCI to ALC.

[BibT_eX]

[DOI]

Yu Ding

Volker Haarslev

Jiewen Wu

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

An ExpTime Tableau Decision Procedure for ALCQI.

[BibT_eX]

[DOI]

Yu Ding

Volker Haarslev

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Tableau Caching for Description Logics with Inverse and Transitive Roles.

[BibT_eX]

[DOI]

Yu Ding

Volker Haarslev

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

Towards Efficient Reasoning for Description Logics with Inverse Roles.

[BibT_eX]

[DOI]

Yu Ding

Volker Haarslev

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Yu Ding

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...