Last Activity

Id VisitTime IPAddress Area
11311321 2017-05-01 美国
11306998 2017-05-01 美国
11306859 2017-05-01 美国
11306651 2017-05-01 美国
11306559 2017-05-01 美国
11296505 2017-04-30 亚太地区
11294623 2017-04-30 亚太地区
11289885 2017-04-30 美国
11284592 2017-04-30 中国
11280576 2017-04-30 亚太地区
11279070 2017-04-30 北京市
11277250 2017-04-30 广东省
11276249 2017-04-30 亚太地区
11273037 2017-04-29 吉林省长春市
11269465 2017-04-29 美国


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 ArgumentationXixi Workshop on Argumentation Mining, and the Aberdeen-Zhejiang Interdisciplinary Symposium on Language Production. 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