Last Activity

Id VisitTime IPAddress Area
13011317 2017-06-23 美国
13008699 2017-06-23 美国
13007061 2017-06-23 英国
13005104 2017-06-23 美国
12996186 2017-06-23 英国
12994423 2017-06-23 美国
12981951 2017-06-22 美国
12978769 2017-06-22 上海市
12978671 2017-06-22 美国
12971222 2017-06-22 韩国
12964602 2017-06-22 美国
12964518 2017-06-22 台湾省台北市
12964517 2017-06-22 台湾省台北市
12962804 2017-06-22 北京市
12962730 2017-06-22 北京市


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

Logic, Artificial Intelligence, knowledge Representation and Reasoning, Computational Linguistics, Autonomous Agents and Multi-agents Systems