武汉大学计算机学院博士生导师简介：刘梦赤

　　发表论文

　　"共发表论文100余篇(36篇为独立完成)，其中多篇发表在数据库、逻辑程序设计、Web 技术、智能信息系统国际顶级杂志及会议上，如ACM Transactions on Database Systems，ACM Computing Surveys，Journal of LP，Journal of WWW 等。其中，2001年以前发表的最有影响的论文有：1. M. Liu. ROL: A Deductive Object Base Language. Information Systems, Vol. 21, No. 5, 1996. (27页)2. M. Liu. Relationlog: A Typed Extension to Datalog with Sets and Tuples. Journal of Logic Programming, 1998, 36(3)(29页)3. M. Liu. An Overview of Rule-based Object Language.Journal of Intelligent Information Systems, Vol. 10, No. 1, 1998 (24页)4. M. Liu. Deductive Database Languages: Problems and Solutions. ACM Computing Surveys, 1999,31(1) (长篇综述) (36页) 5. M. Liu. The Design and Implementation of the ROL System. Journal of Intelligent Information Systems, Vol. 15, No. 2, 2000. (26页)2005:1. Shan Wei, Mengchi Liu, Making DTD a Truly Powerful Schema Language. In Proceedings of the 7th Asia-Pacific Web Conference(APWeb 2005), Shanghai, China, March 29 - April 1, 2005. Lecture Notes in Computer Science, Vol. 3399, Springer 2005. (6 pages) 2. Guoren Wang, Mengchi Liu, Extending XML with Nonmonotonic Multiple Inheritance. In Proceedings of the 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005. Lecture Notes in Computer Science Vol. 3453, Springer 2005. (12 pages) 2004：1. Shijun Li, Mengchi Liu, Guoren Wang, Zhiyong Peng, Capturing Semantic Hierarchies to Perform Meaningful Integration in HTML Tables. In Proceedings of the 6th Asia-Pacific Web Conference(APWeb 2004), Hangzhou, China, April 14-17, 2004. Lecture Notes in Computer Science, Vol. 3007, Springer 2004.(4 pages) 3. Shijun Li, Zhiyong Peng, Mengchi Liu, Extraction and Integration Information in HTML Tables. In 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China. 4. Zhuo Chen, Tok Wang Ling, Mengchi Liu, Gillian Dobbie, XTree for Declarative XML Querying. In Proceedings of 9th International Conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2004. Lecture Notes in Computer Science, Vol. 2973, Springer 2004. (13 pages) 5. Jun Zhou, Mengchi Liu, Yiwen Liang: SSUI: Semantic Search User Interface for Intelligent information System. IASTED International Conference on Databases and Applications, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004. (6 pages)6. Iiris Qi, Mengchi Liu, Design and Implementation of XML-RL Query System. IASTED International Conference on Databases and Applications, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004. (7 pages)7. Wanxia Wei, Mengchi Liu, Shijun Li: Merging of XML Documents. In Proceedings of the 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004. Lecture Notes in Computer Science, Vol. 3288, Springer 2004. (13 pages) 8. Tao Fu, Mengchi Liu: A Gateway from HTML to XML. 8th International Database Engineering and Applications Symposium (IDEAS 2004), 7-9 July 2004, Coimbra, Portugal. 9. Shijun Li, Mengchi Liu, Tok Wang Ling, Zhiyong Peng: Automatic HTML to XML Conversion. 5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004. Lecture Notes in Computer Science, Vol. 3129, Springer 2004. (6 pages) 10. Mengchi Liu, Guoren Wang, Tok Wang Ling: Making XML an Information Modeling Language. In Proceedings of 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004. Lecture Notes in Computer Science, Vol. 3306, Springer 2004. (11 pages) 11. Shijun Li, Mengchi Liu, Zhiyong Peng: Wrapping HTML Tables into XML. In Proceedings of 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004. Lecture Notes in Computer Science, Vol. 3306, Springer 2004. (6 pages) 20031. J. Xia and M. Liu Towards an Intelligent Information System. In Proceedings of the 18th Brazilian Symposium on Databases (SBBD 2003), Manaus, Amazonas, Brazil, October 6-10, 2003. (15 pages) 2. M. Liu, L. Lu and G. Wang, A Declarative XML-RL u.pdate Language. In Proceedings of the 22nd International Conference on Conceptual Modeling (ER 2003), Chicago, Illinois, October 13-16, 2003. Lecture Notes in Computer Science, Vol. 2813, Springer 2003. (14 pages) 3. G. Wang and M. Liu, Extending XML Schema with Non-Monotonic Inheritance. In Proceedings of the 22nd International Conference on Conceptual Modeling (ER Workshop2003), Chicago, Illinois, October 13-16, 2003. Lecture Notes in Computer Science, Vol. 2814, Springer 2003. 4. G. Wang and M. Liu, Query Processing and Optimization for Regular Path Expressions. In Proceedings of the 15th International Conference on Advanced Information Systems Engineering (CAiSE 2003), Klagenfurt, Austria, June 16-18, 2003, Proceedings. Lecture Notes in Computer Science 2681, Springer 2003. 5. G. Wang, M. Liu and L. Lu Extending XML-RL With u.pdate. In Proceedings of the 7th International Database Engineering and Application Symposium (IDEAS 2003), Hong Kong, China July 16-18, 2003, IEEE Computer Society Press. (10 pages) 6. G. Wang, M. Liu, J.X. Yu, B. Sun, H. Lu, G. Yu and J. Lv, Effective Schema-Based XML Query Optimization Techniques. In Proceedings of the 7th International Database Engineering and Application Symposium (IDEAS 2003), Hong Kong, China July 16-18, 2003, IEEE Computer Society Press. (6 pages) 7. G. Wang and M. Liu, Logical Foundation for Updating XML. In Proceedings of the 4th International Conference on Web-Age Information Management (WAIM 2003), Chengdu, China August 17-19, 2003, Lecture Notes in Computer Science, Springer 2003. 8. M. Liu and T.W. Ling, A Data Model for Semistructured Data with Partial and Inconsistent Information. Chapter 2, Web-endabled Systems Integration: Practice and Challenges. Edited by Ajantha Dahanayake and Waltraud Gerhard. Idea Group Publishing 2003. 9. M. Liu, Extending Datalog with Declarative u.pdates. Journal of Intelligent Information Systems 20(2): 107-129, 2003. (23 pages) 10. M. Liu, DrawCAD: Using Deductive Object-Relational Databases in CAD. Software Practice & Experience. 33(2): 143-172, 2003. (35 pages) 2002 1. M. Liu, DrawCAD: Using Deductive Object-Relational Databases in CAD. Accepted to Software Practice & Experience. on October 2, 2002. (35 pages) 2. M. Liu and T.W. Ling, Towards Declarative XML Querying . In Proceedings of the 3rd International Conference on Web Information System Engineering (WISE 2002), Singapore, December 12-14, 2002. (10 pages) 3. M. Liu, Capturing Semantics in HTML Documents. In Proceedings of the 13th International Conference on Database and Expert Systems Applications (DEXA 2002), Aix en Provence, France, September 2-6, 2002. Lecture Notes in Computer Science, Vol. 2453, Springer 2002. (10 pages) 4. M. Liu, A Logical Foundation for XML . In Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE 02) , Toronto, Ontario, May 27-31, 2002. Lecture Notes in Computer Science, Vol. 2348, Springer 2002. (16 pages) 5. M. Liu, G. Dobbie, and T.W. Ling, A Logical Foundation for Deductive Object-Oriented Databases . ACM Transactions on Database Systems 27(1): 117-151, March 2002. (35 pages) 20011. M. Liu and S. Katragadda, DrawCAD: Using Deductive Object-Relational Databases in CAD. In Proceedings of the 12th International Conference on Database and Expert Systems Applications (DEXA 2001), Munich, Germany, September 3-5, 2001. Lecture Notes in Computer Science, Vol. 2113, Springer 2001. (10 pages) 2. M. Liu, Pluto: An Object-Oriented Logic Programming Language. In Proceedings of the 39th International Conference on Technology of Object-Oriented Languages & Systems (TOOLS USA 2001) , Santa Barbara, U.S.A., July 29-August 3, 2001. IEEE Computer Society Press. (10 pages) 3. M. Liu and T.W. Ling, A Rule-based Query Language for HTML. In Proceedings of the 7th International Conference on Database Systems for Advanced Applications (DASFAA 2001), Hong Kong, China, April 18-20, 2001. IEEE Computer Society Press. (8 pages) 4. M. Liu, G. Dobbie, and T.W. Ling, A Logical Foundation for Deductive Object-Oriented Databases (Extended Abstract). In Proceedings of the 7th International Conference on Database Systems for Advanced Applications (DASFAA 2001), Hong Kong, China, April 18-20, 2001. IEEE Computer Society Press. (8 pages) 5. M. Liu, The Relationlog System Prototype. Software Practice & Experience. 31(5):409-443, 2001. (35 pages) 6. M. Liu and T.W. Ling, A Conceptual Model and Rule-based Query Language for HTML. World Wide Web 4(1): 49-77, 2001. (29 pages)"