Publications of Hongkai Liu
Papers
(The pdf/ps files are available in the
publication page
of our group.)
Franz Baader, Marcel Lippmann, and Hongkai Liu.
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
. In
Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2010)
, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2010. to appear.
Franz Baader, Hongkai Liu, and Anees ul Mehdi.
Verifying Properties of Infinite Sequences of Description Logic Actions
. In
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10)
, 2010. to appear.
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, and Michael Thielscher.
Putting ABox Updates into Action
. In Silvio Ghilardi and Roberto Sebastiani, editors,
The Seventh International Symposium on Frontiers of Combining Systems (FroCoS-2009)
, volume 5749 of
Lecture Notes in Computer Science
, pages 149–164. Springer-Verlag, 2009.
Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, and Michael Thielscher.
Putting ABox Updates into Action
. In
Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09)
, 2009.
Hongkai Liu, Carsten Lutz, and Maja Milicic.
The Projection Problem for EL Actions
. In
Proceedings of the 2008 International Workshop on Description Logics (DL2008)
, volume 353 of
CEUR-WS
, 2008.
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
Description Logic Actions with general TBoxes: a Pragmatic Approach
. In
Proceedings of the 2006 International Workshop on Description Logics (DL2006)
, 2006.
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
Reasoning about Actions using Description Logics with general TBoxes
. In Michael Fisher, Wiebe van der Hoek, Boris Konev, and Alexei Lisitsa, editors,
Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006)
, volume 4160 of
Lecture Notes in Artificial Intelligence
, pages 266–279. Springer-Verlag, 2006.
H. Liu, C. Lutz, M. Milicic, and F. Wolter.
Updating Description Logic ABoxes
. In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors,
Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)
, pages 46–56. AAAI Press, 2006.
Sebastian Brandt and Hongkai Liu.
Implementing Matching in ALN
. In
Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI-ADL'04)
, CEUR-WS, Ulm, Germany, September 2004.
Theses
Hongkai Liu.
Computing Updates in Description Logics
. PhD thesis, Dresden University of Technology, Germany, 2010.
Bibtex entry
Paper (PDF)
Hongkai Liu.
Matching in Description Logics with Existential Restrictions and Terminological Cycles
. Master thesis, Dresden University of Technology, Germany, 2005.
Bibtex entry
Paper (PS)
Liu, Feb 16th, 2010