LIN Zuoquan
Professor
1515E
86-10-62759852
lz@math.pku.edu.cn
Education
Ph.D., Beijing University of Aeronautics and Astronautics, 1995.
B.S., Fuzhou University, 1983.
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
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
Selected Publication
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
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