Last Activity

Id VisitTime IPAddress Area
16132346 2017-09-25 美国
16131434 2017-09-24 乌克兰
16130666 2017-09-24 美国
16128661 2017-09-24 亚太地区
16128043 2017-09-24 欧洲
16120225 2017-09-24 美国
16113629 2017-09-24 欧洲和中东地区
16109237 2017-09-24 乌克兰
16109219 2017-09-24 乌克兰
16109209 2017-09-24 乌克兰
16101934 2017-09-24 美国
16096078 2017-09-23 北京市
16093076 2017-09-23 美国
16089568 2017-09-23 北京市
16086905 2017-09-23 北京市


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