Browsing by Author Nguyen, Linh Anh
Showing results 5 to 7 of 7
ExpTime Tableaux for ALC Using Sound Global Caching
Author(s) | Gore, Rajeev; Nguyen, Linh Anh |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
EXPTIME tableaux for ALC using sound global caching
Author(s) | Gore, Rajeev; Nguyen, Linh Anh |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | June 8-10 2007 |
EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies
Author(s) | Gore, Rajeev; Nguyen, Linh Anh |
---|---|
Type | Conference paper |
Date Published | 2007 |
Date Created | July 3-6 2007 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator