报告一题目:Deductive Database Abduction:Journey from Past to Future报告时间:12月15日14:00报告地点:数学馆201腾讯会议号:650-854-178主持人:陈仪香 教授报告摘要:In this talk, we will cover the following 3 areas. The first is to share the some of the Fifth Generation Computer research work done in 1980-1990s on Deductive Database and Abduction. The second will cover industry use cases integrating deductive database system and constraint configurator system with big data system. Lastly, we will explore and discuss what are future poten