报 告 人: Jixin Ma 博士[英国格林威治大学计算机与信息系统系]
报告时间: 2015年4月 9日（周四）9:30～11:00
报告地点: 校本部东区计算机大楼901室
邀 请 人: 缪淮扣 教授
Abstract：
Many computer systems need to deal with the temporal aspects of knowledge. In fact, various areas in the domain of information systems require temporal representation and reasoning, including Knowledge Management, Decision Support, Intelligent Systems, Database Management, Prediction/Planning, Historical Reconstruction, Diagnosis and Explanation, etc. The purpose of this talk is to: (a) motivate and explain a topic of emerging importance in information systems; (b) provide an overview on some fundamental issues with respects to temporal ontology; (c) present a brief introduction to temporal representation and reasoning in information systems in terms of case tool, Visual Time, together with some illustrating examples.
Biography：
Dr Jixin Ma is a Reader of Computer Science in the Department of Computing and Information Systems of the Faculty of Architecture, Computing & Humanities, at the University of Greenwich, U.K. He is also a Visiting Professor at Beijing Normal University, Anhui University and Zhengzhou Light Industrial University, China.
Dr Ma obtained his BSc and MSc of Mathematics in 1982 and 1988, respectively, and PhD of Computer Sciences in 1994. His main research areas include Artificial Intelligence, Software Engineering and Information Systems, with special interests in Temporal Logic, Temporal Databases, Reasoning about Action and Change, Case-Based Reasoning, Pattern Recognition and Graph Matching. Dr Ma has published more than 100 research papers in international journals and conferences.