2018 Symposium on Frontiers of Artificial Intelligence (Autumn)

                                             August 21 (Tuesday), 2018, Beijing, China

Organizers: Songmao Zhang, Sanjiang Li, Ruqian Lu

Venue: Meeting Room 204, South Building of AMSS

55 Zhong-Guan-Cun East Road, Beijing 100190, China

Sponsors:

National Key Research and Development Program of China under grant 2016YFB1000902

National Natural Science Foundation of China under grant 61621003

Key Laboratory of Management, Decision and Information Systems (MADIS), Chinese Academy of Sciences

9:00 – 12:00 The morning session, chaired by Songmao Zhang

9:00 – 9:10 Opening

---------------------------------------------------------------------------------------------------------------------------

9:10 – 10:00 Mathematical Methods for Curating Big Knowledge in Biomedicine

Speaker: GQ Zhang

University of Kentucky, Lexington, Kentucky, USA

--------------------------------------------------------------------------------------------------------------------------

10:00 – 10:50 Introduction to Computational Argumentation

Speaker: Anthony Hunter

University College London, London, UK

--------------------------------------------------------------------------------------------------------------------------

10:50 – 11:10 Coffee Break

--------------------------------------------------------------------------------------------------------------------------

11:10 – 12:00 Hashing for Big Data

Speaker: Xianglong Liu

Behang University, Beijing, China

---------------------------------------------------------------------------------------------------------------------------

12:00 – 14:00 Lunch

--------------------------------------------------------------------------------------------------------------------------

14:00 – 17:00 The afternoon session, chaired by Ruqian Lu

14:00 – 14:50 What is Essential Unification?

Speaker: J？rg Siekmann

German Research Centre of Artificial Intelligence, Saarbrücken, Germany

--------------------------------------------------------------------------------------------------------------------------

14:50 – 15:40 Connecting Virtual-World and Real-World Reinforcement Learning

Speaker: Yang Yu

Nanjing University, Nanjing, China

---------------------------------------------------------------------------------------------------------------------------

15:40 – 16:00 Coffee Break

---------------------------------------------------------------------------------------------------------------------------

16:00 – 16:50 Constraint Satisfaction Problems and their Application in Spatial and Temporal Reasoning

Speaker: Sanjiang Li

University of Technology Sydney, Sydney, Australia

---------------------------------------------------------------------------------------------------------------------------

16:50 – 17:00 Closing

The Programme