Last Activity

Id VisitTime IPAddress Area
15918741 2017-09-20 美国
15917731 2017-09-20 上海市
15917545 2017-09-20 北京市
15916752 2017-09-20 德国
15916148 2017-09-20 美国
15913393 2017-09-19 卢森堡
15910903 2017-09-19 欧洲和中东地区
15907859 2017-09-19 北京市
15902429 2017-09-19 北京市
15900659 2017-09-19 亚太地区
15900090 2017-09-19 乌克兰
15894928 2017-09-19 江苏省苏州市
15893195 2017-09-19 亚太地区
15891429 2017-09-19 中国
15872778 2017-09-19 北京市


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