Last Activity

Id VisitTime IPAddress Area
19355100 2018-01-21 美国
19354707 2018-01-21 浙江省杭州市
19353953 2018-01-21 英国
19353594 2018-01-21 美国
19350705 2018-01-21 亚太地区
19350563 2018-01-21 美国
19350372 2018-01-21 广东省
19350371 2018-01-21 广东省
19350366 2018-01-21 广东省
19349124 2018-01-21 北京市
19348641 2018-01-21 美国
19345082 2018-01-21 委内瑞拉
19337337 2018-01-20 美国
19334163 2018-01-20 浙江省杭州市
19324198 2018-01-20 亚太地区


Beishui Liao graduated from the College of Computer Science and Technology, Zhejiang University, in 2006. He is now a full professor of logic and artificial intelligence (since 2013), and a Distinguished Young Scholar, of Zhejiang University. He is a visiting professor of Luxembourg University (since 2014). He serves as the vice-director of the Institute of Logic and Cognition of Zhejiang University (from 2014), and is a standing member of the National Committee of Logic of Science of China (from 2014). He was/is an organizer of Chinese Conference on Logic and Argumentation (CLAR)Dagstuhl Perspectives Workshop on Present and Future of Formal Argumentation, and the International Workshop on Big Data, Reasoning and Decision-Making (BRaD). He visited the University of Texas at Austin from Jul 2009 to Jul 2011, and the Università degli Studi di Brescia from Jul to Oct 2014. As principal investigator, he has conducted three nationally funded projects, two provincially funded projects and an INTER MOBILITY project supported by the National Research Fund Luxembourg (FNR) (cooperating with Professor Leon van der Torre). He is participating a HORIZON 2020 Research and Innovation Staff Exchange (RISE) project (MIREL - MIning and REasoning with Legal texts). He has published 3 monographs, and a number of papers in some leading journals such as AIJ, JLC, AMAI, Information Sciences, Minds and Machines, Journal of Software (in Chinese with English abstract), Academic Monthly (in Chinese), Philosophical Researches (in Chinese), etc. 



Research work

Argumentation, Knowledge Representation and Reasoning, Intelligent Information Processing