Hongkai Liu

Available identifiers

zbMath Open liu.hongkaiMaRDI QIDQ420806

List of research outcomes

Publication	Date of Publication	Type
Foundations of instance level updates in expressive description logics	2012-05-23	Paper
Verifying Properties of Infinite Sequences of Description Logic Actions	2011-05-11	Paper
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics	2010-10-12	Paper
Putting ABox Updates into Action	2010-01-07	Paper
Reasoning About Actions Using Description Logics with General TBoxes	2008-10-30	Paper

Research outcomes over time

This page was built for person: Hongkai Liu