Hongkai Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2010
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ECAI | Verifying Properties of Infinite Sequences of Description Logic Actions. | Franz Baader, Hongkai Liu, Anees ul Mehdi |
| 2010 | LPAR | Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. | Franz Baader, Marcel Lippmann, Hongkai Liu |
| 2006 | JELIA | Reasoning About Actions Using Description Logics with General TBoxes. | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
| 2006 | KR | Updating Description Logic ABoxes. | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |