Prof. Xunwei Zhou

  • 职称:

    教授

  • 学校/单位:

    Beijing Union University

  • 学科领域:

    暂无信息

  • 简介:

    暂无信息

Professor Zhou a professor emeritus in Beijing key laboratory of information service engineering, Beijing Union University since 2012. He construct mutually-inversistic logic and apply it to the fields of computer science and artificial intelligence, such as automatic theorem proving, logic programming, planning and scheduling, expert systems, semantic network, program verification, natural language understanding, hardware verification, machine learning, data mining, uncertainty reasoning, program refinement, many-valued computer, etc. He published about 80 papers, authored 4 monographs on them. He is a senior member of China Computer Federation, a member of Technical Committee of Artificial Intelligence Theory of Chinese Association for Artificial Intelligence, a director of Beijing Logical Association.