Publications

Papers

  1. Hennessy, M., Li, W., and Plotkin, G., A first attempt at translating CSP into CCS, Proceedings of the second international conference on distributed systems, Paris, 1981.
  2. Li, W., An operational semantics for Ada multitasking and exception handling, Proceedings of AdaTEC conference, Washington, 1982.
  3. Hennessy, M. and Li, W., Translating Ada tasking into CCS, Formal Description of Programming Concepts, IFIP, edited by Bjørner, North-Holland, 1982.
  4. Li, W., An operational approach to semantics and translation theory for concurrent programming languages, Ph.D. thesis, Department of Computer Science, University of Edinburgh, January 1983.
  5. Li, W., An VLSI implementation for Petri nets, Computing Laboratory, University of Newcastle Upon Tyne, 1983.
  6. Li, W., Lauer, P., An VLSI implementation for COSY, Computing Laboratory, University of Newcastle Upon Tyne, 1984.
  7. Li, W., An operational translation theory for concurrent programming languages, in: Proceedings of IEEE Computer Systems Conference, Beijing, 1984.
  8. Li, W., A syntax directed algorithm for implementing communication between tasks in Ada, Scientia Sinica (series A), No.4, 1984.
  9. Li, W. and Lauer, P.E., Using the structural operational approach to express true concurrency, Formal Model in Programming, IFIP, edited by Nuehold, E.J. and Chroust,G. North-Holland, 1985.
  10. Li, W., A structural operational semantics for an Edison-like language (1), Journal of Computer Science and Technology, Vol.1, No.1, 1986.
  11. Li, W., A structural operational semantics for an Edison-like language (2), Journal of Computer Science and Technology, Vol.1, No.2,42-53,1986.
  12. Li, W., Implementing first order logic in Modula-2 using an intuitionistic approach, in: Proceedings of ACM Computer Science Conference, Atlanta, 1988.
  13. Li, W. and Lee, W., Implementing fuzzy logic using an extended Edinburgh Logical frame work, in: Proceedings of the Second International Conference on the New Generation Computers, Beijing, 1989.
  14. Li, W., A type theory of program specification and transformation,in: Proceedings of the 11th World Computer Congress, IFIP, San Francisco 1989.
  15. Li, W., A type theoretic approach to program development, in: Future Generation Computer Systems, North Holland, 1990.
  16. Li, W., The language ALT: its formal definition and its applications, Journal of Computer Science and Technology, No 4, 1990.
  17. Zheng, Z. and Li, W., An introduction to KEDE - a hybrid knowledge engineering environment, IEEE Tools for AI Conference, Washington, 1990.
  18. Li, W., Concurrent calculus and selection principle, International Workshop on Intelligent computers, Beijing, 1990.
  19. Li, W., A theory of concurrent calculus,in: Proceedings of the INFOJAPAN 90 Conference, Tokyo, 1990.
  20. Li, W., An introduction to open logic, An invited paper, in: Proceedings of The Second International Conference for Young Computer Scientists, Beijing, 1991.
  21. Li, W., A logical theory of learning from experience, in: Proceedings of IEEE Tools for AI Conference, U.S.A, 1991.
  22. Zheng, Z. and Li, W., A hybrid knowledge engineering environment, International Journal of Artificial Intelligence Tools, Vol 1, No.4, World Scientific Publishing Company, 1992.
  23. Li, W., Towards a theory of epistemic process, in: Proceedings of IFIP 2.4 Workshop on Automatic Reasoning, North Holland, 1992.
  24. Li, W., An open logic system, Science in China (Scientia Sinica) (series A), No.10, 1103-1113,October, 1992 in Chinese, Vol.36, No.3, 362-375, March,No.6, 744-753, 1993 in English.
  25. Li, W., A comparative study of default reasoning and epistemic processes, Journal of Computer Science and Technology, No.3, 193-204, July, 1993.
  26. Li, W., An interactive consistency maintenance system. IEEE the 5th Tools with AI, Boston, 1993.
  27. Li, W., A theory of requirement capture and its applications, Theory and Practice of Software Development, (TAPFOFT'93), April, LNCS 688, Springer-Verlag, 1993.
  28. Li, W., A limit theory of formal theories, the 5th Asian Logic Conference, Singapore, World Scientific Publishing Company, 1993.
  29. Li, W., Default reasoning and epistemic processes, The 6th Australian Joint Conference on Artificial Intelligence, Melbourne, World Scientific Publishing Co. Ltd, 1993.
  30. Li, W. and Wang, J., Concurrent calculus and its applications, Science in China (series A), No.6, 744-753, June, 1993 in English.
  31. Li, W., A logical framework of knowledge base maintenance, An invited paper, in: Proceedings of The Second International Conference for Young Computer Scientists, Beijing, 1993.
  32. Li, W., A logical framework for evolution of specifications, Programming Languages ans Systems, (ESOP'94), LNCS 788, Springer-Verlag, 1994.
  33. Hui, J., Li, W., A note to the logical foundation of ATMS, 4th International Conference on PAPAI, 1994.
  34. Lin, Z. and Li, W., A logic of generalization, The Third Golden West International Conference on Intelligent Systems, June 6-8, Las Vegas, 1994.
  35. Lin, Z. and Li, W., Circumscription and paraconsistent logic, in: Proceedings of PRICAI-94, 1994.
  36. Li, W., R-Calculus: A deductive approach to program revision. The IEEE 6th Tolls with AI, 1994.
  37. Lin, Z. and Li, W., Note on tableaux for logic of paradox, in: Proceedings of KI'94, Lecture Note in AI, Springer-Verlag, 1994
  38. Lin, Z. and Li, W., Circumscription in the presence of inconsistency, in: Proceedings of the 9th International Symposium on Computer and Information Sciences (CISCIS IX), Nov. 7-9, Antalyh, Turkey, 1994.
  39. Lin, Z. and Li, W., Tableaux-based proof theories for logic of paradox, AJCAI-94, 1994.
  40. Lin, Z. and Li, W., Tableaux for paraconsistent and nonmonotonic logic, in: Proceedings of SBIA-94, 1994.
  41. Li, W. Huang, W., Solving satisfiability problem using static electric fields, Advanced Software Technology in China, 1994.
  42. Lin, Z. and Li, W., A tableaux of logic of paradox, in: Proceedings of ISMIS-94, 1994.
  43. Lin, Z. and Li, W., Parametric logic: foundation, Science in China (Series A),Vol.38, No.8, 1009-1024, 1995.
  44. Li, W. Huang, W., A mathematic - physical approach to the satisfiability problem, Science in China(series A), No.1, 116-128, Jan, 1995.
  45. Li, W., Shen, N., and Wang, J., R-calculus: a logical approach to knowledge base maintenance.International Journal of Artificial Intelligence Tolls, Vol. 4, Nos. 1&2 (1995) 177-200, World Scientific Publishing Company, 1995.
  46. Zhang, Y. and Li, W., An operational approach to belief revision, Journal of computer science and technology, Vol.6, No.4, 1996.
  47. Li, W. and Jin, L., A bus bridge protocol for the scalable computer systems, Invited paper, The China-German Conference on Parallel and distributed computations. Beijing, 1995.
  48. Li, W., A logical framework of knowledge base maintenance, Journal of Computer Science and Technology, Vol.10, No. 3,193-205, May, 1995.
  49. Li, W., Inductive processes: a logical theory for inductive inference, Science in China (Series A), Vol 38, No. 9, Sept. Supp. 1995.
  50. Lin, Z. and Li, W., On logic of paradox, in: Proceedings of IEEE ISMVL-95, 1995
  51. Li, W. and Jin, L., An operational mechanism of a bus bridge network, Invited paper, in: Proceedings of APPT'95, 1995.
  52. Li, W. and Jin, L., Design and analysis of the running mechanism and feature parameters of a bus bridge network, The nineteenth Australia Computer Science Conference, Melbourne, 1996.
  53. Li, W., Some convergent sequences of formal theories, invited paper, the 6th Asian Logic Conference, Singapore, World Scientific Publishing Company, 1996.
  54. Li, W., Three techniques used in specification development, Invited paper, International workshop on Semantics and Specifications, Saarbrucken, Germany, 1996.
  55. Wu, X. and Li, W., Design and implementation of parallel algorithms for fractal image generation, International Conference on Robotics, Vision and Parallel Processing for Industrial Automation, ROVPIA'96, Nov. 28-30, Ipoh, Perak, Malaysia, 1996.
  56. Wu, X. and Li, W., Scalability of parallel algorithm implementation, in: Proceedings of the Second International Symposium on Parallel Architectures, Algorithms, and Networks ISPAN'96, IEEE Computer Society Press, June, 1996.
  57. Shen, N. and Li, W., R-calculus for ELP: an operational approach to knowledge base maintenance, Journal of Computer Science and Technology, No. 1, 17-28, 1997.
  58. Li, W., The limitation of formal methods, Invited Paper, Advanced Summer School of National High-Tech Programme, 1997.
  59. Li,W., Lu, W.and Xia,Y., An interactive evolutionary approach to the requirements specification for the internet based applications, in: Proceedings of International Workshop on Software Engineering, San Jose, California, USA, March,1998.
  60. Liang, D., Li, W.,On finding the autark set, The Second Workshop on The Satisfiability Problem, Eringgerfeld, Germany, May, 1998.
  61. Huang, X., Li, W.,A new class of tractable satisfiability problem, The Second Workshop on The Satisfiability Problem, Eringgerfeld, Germany, May, 1998.
  62. Luan, S., Li, W., An incremental approach to automatic algorithm design, Journal of Computer Science and Technology, Vol. 13, No.3, 1998.
  63. Huang, X., Li, W., On the K-positive satisfiability problem, Journal of Computer Science and Technology, Vol. 13, No.4, 1998.
  64. Liang, D., Li, W., Multi-strategy local search for the SAT problem, ECAI98, in: The Proceedings on ECAI98, pp. 234-238, 1998.
  65. Huang, W. and Li, W., A hopeful CNF-SAT algorithm - its high efficiency, industrial applications and limitation, Journal of Computer Science and Technology, Vol.13, No.1, 9-12, 1998.
  66. Zhang, D. and Li, W., Open logic based on total-ordered partition model, Science in China (Series E), Vol.41 No. 6,641-649, 1998.
  67. Li, W., Inductive inference and evolution of knowledge, Inductive Process, Invited paper, Selected Works of Academicians, (in Chinese), Science Press, 1998.
  68. Li,W., Some fundamental problems of massive information systems on the Internet, Invited Paper, in: Proceedings of the Fifth National Conference on Artificial Intelligence, (in Chinese) 1998
  69. Lin, Z. and Li, W., The open logic and its relation to circumscription, Science in China (Series E), Vol.42, No.1, 44-53,1999.
  70. Xu, K. and Li, W., The SAT phase transition, Science in China(Series E), Vol.42, No.5, 494-501, 1999.
  71. Xu, K. and Li, W., Exact phase transitions in random constraint satisfaction problems, Journal of Artificial Intelligence Research, Vol.12, 93-103, 1999.
  72. Li, W., The challenges from massive information systems (invited paper), The 16th IFIP World Computer Congress, Aug, 2000.
  73. Li, W. and Ma, S., A framework for analytic-intelligent agents, in: Proceedings of the International Conference on Artificial Intelligence, Las Vegas, USA, June 26-29, 2000, CSREA Press, 691-697.
  74. Li, W., A computational framework for convergent agents (invited paper), The 2nd International Conference on Intelligent Data Engineering and Automated Learning, Hong Kong, LNCS 1983, 295-300, Dec., 13-15, 2000.
  75. Xu, K. and Li, W., Exact phase transitions in random constraint satisfaction problems, Journal of Artificial Intelligence Research, No. 12, 93-103, 2000.
  76. Xu Kei and Li Wei, An average analysis of backtracking on random constraint satisfaction problems, Annals of Mathematics and Artificial Intelligence, Vol.33, 21-37, 2001.
  77. Li Wei, A development calculus for specifications, Science in China (Series E), Vol.46, No.5, 390-400, 2003.
  78. Li Wei and Ma Shilong, Limits of theory sequences over algebraically closed fields and applications, Discrete Applied Mathematics, Vol.136, No.1, 23-43, 2004.
  79. Xu Ke and Li Wei, On the average similarity degree between solutions of random k-SAT and random CSPs, Discrete Applied Mathematics, Vol.136, No.1, 125-149, 2004.
  80. Xu Ke and Li Wei, Many hard examples in exact phase transitions. Theoretical Computer Science, Vol.355, No.3, 291-302, 2006.
  81. Li Wei, An inductive inference system and its rationality, in: Artificial Intelligence and Symbolic Computation (J. Calmet, T. Ida, and D. Wang, eds.), LNAI 4120, 3-17, Springer-Verlag, Berlin Heidelberg, 2006.
  82. Li Wei, R-calculus: an inference system for belief revision. The Computer Journal, Vol.50, No.4, 378-390, 2007.
  83. Li Wei, Logical verification of scientific discovery. Science China - Information Sciences, Vol.53, No. 4, pp. 677-684, 2010.
  84. Li Wei and Lang Bo, A tetrahedral data model for unstructured data management. Science China - Information Sciences, Vol.53, No.8, pp. 1497-1510, 2010.
  85. Luo Jie and Li Wei, An Algorithm to Compute Maximal Contractions for Horn Clauses. Science China - Information Sciences, Vol.54, No. 2, pp. 244-257, 2011.
  86. Luo Jie and Li Wei, R-calculus without the cut rule. Science China - Information Sciences, Vol.54, No. 12, pp. 2530-2543, 2011.
  87. Li Wei and Li Ning, A formal semantics for program debugging. Science China - Information Sciences, Vol.55, No. 1, pp. 133-148, 2012.

Books

  1. Li, W., Selected Works, Series of Academicians, Beijing Press, 1999 [in Chinese].
  2. Li, W., Mathematical Logic: Basic Principles and Formal Calculus. Science Press, Beijing, 2007 [in Chinese].
  3. Li, W., Mathematical Logic - Foundations For Information Science. Birkhäuser Verlag, Basel, 2010.



Last update: April 27, 2012


Valid HTML 4.01 Strict