Home>People>Faculty

LIN Zuoquan
Professor
lz@math.pku.edu.cn
Phone :86-10-62759852
Office :1567S

Education

Ph.D., Beijing University of Aeronautics and Astronautics, 1995.

B.S., Fuzhou University, 1983.

Research Interests

Computer science, Artificial Intelligence, Mathematical Logic

1. Principle of intelligence, knowledge representation, automated reasoning, machine learning

2. Internet software, web services, semantic web and knowledge graph

3. nonmonotonic logics, paraconsistent logics, computational logics.  (MathSciNet)

Selected Publications

  • Chen Chen, Zuoquan Lin, Restricted four-valued logic for default reasoning, KSEM-2015, LNAI 9403, 40-52, The Best Paper Award, Springer (2015).
  • Xiaowang Zhang, Guohui Xiao, Zuoquan Lin, Jan Van den Bussche, Inconsistency-tolerant reasoning with OWL DL, Int. J. Approx. Reasoning 55(2), 557-584 (2014).
  • Zhihu Zhang, Zuoquan Lin: Minimal Hypotheses: Extension Based Semantics for Argumentation, Annals of Mathematics and Artificial Intelligence, Vol. 66, No.2-3, 245-283 (2012).
  • Zhang, Xiaowang; Lin, Zuoquan Quasi-classical description logic. J. Mult.-Valued Logic Soft Comput. 18 (2012), no. 3-4, 291–327