Program

1. Schedule Overview

Date	City	Hotel	Price
May 29	Guilin	Guilin, Baiyue Hotel	RMB 238 (Standard Room)
May 30
May 31	Yangshuo	YangShuo Jasper International Hotel	RMB 240 (Standard Room) RMB 340 (Deluxe Standard Room)
June 1
June 2	Guilin	Guilin, Baiyue Hotel	RMB 238 (Standard Room)

2. Registration Time and Site

11:30am ‐‐ 18:30pm, May 29, Guilin Baiyue Hotel

	Full	Student
Guilin+Yangshuo	RMB 2500	RMB 1600
Guilin	RMB 1000	RMB 800

3. Workshop Schedule

Sunday, 29 May, 2016

Time	Activity
11:30 -- 18:30	Registration (Guilin Baiyue Hotel)
18:30 -- 20:30	Dinner (Guilin Baiyue Hotel)

Monday, 30 May, 2016

Time	Activity
9:00 -- 12:30	Presentations (Guilin University of Electronic Technology)
12:30 -- 14:00	Lunch (Guilin Baiyue Hotel)
14:00 -- 17:10	Presentations (Guilin University of Electronic Technology)
18:30 -- 20:30	Reception (Guilin Baiyue Hotel)

Tuesday, 31 May, 2016

Time	Activity
7:30 -- 8:00	Hotel check out
8:00 -- 8:40	From hotel to ship deck
9:10 -- 13:00	From Lijiang to Yangshuo
13:30 -- 15:00	Lunch
15:00 -- 17:30	Informal Talks and Discussions
17:40 -- 19:00	Dinner
19:40 -- 20:50	Activity to be added

Wednesday, 1st June, 2016

Time	Activity
9:00 -- 12:30	Presentations (Yangshuo Jasper International Hotel)
12:30 -- 14:00	Lunch
15:00 -- 17:30	Activity to be added
18:00 -- 21:00	Dinner (activity to be added)

Thursday, 2nd June, 2016

Time	Activity
9:00 -- 12:30	Presentations (Yangshuo Jasper International Hotel)
12:30 -- 14:00	Lunch and hotel check out
14:00 -- 18:00	Leave Yangshuo for Guilin
18:00 --	Dinner

4. Detailed Program

Date	Time	Presentation/Activity	Speaker	Session Chair
30 May	9:00 -- 9:20	Introduction		Liang Chang
	9:20 -- 10:00	Translating programs to first-order logic: a status report	Fangzhen Lin	Liang Chang
	10:00 -- 10:40	An introduction of knowledge graph	Guilin Qi	Liang Chang
	10:40 -- 11:10	Tea Break
	11:10 -- 11:50	Beyond "knowing that": a new generation of epistemic logics	Yanjing Wang	Yi-Dong Shen
	11:50 -- 12:30	Exploring patterns for praticalTBox abduction	Jianfeng Du	Yi-Dong Shen
	12:30 -- 14:00	Lunch
	14:00 -- 14:40	Eliminating disjunctions in answer set programming by restricted unfolding	Jianmin Ji	Jia-Huai You
	14:40 -- 15:20	DL-Lite contraction and revision	Zhe Wang	Jia-Huai You
	15:20 -- 15:50	Tea Break
	15:50 -- 16:30	Multi-agent epistemic planning	Yongmei Liu	Kewen Wang
	16:30 -- 17:10		Maonian Wu	Kewen Wang
31 May	15:00 -- 17:00	Informal talks and discussions		Fangzhen Lin Jia-Huai You
1 June	9:00 -- 9:40	Evaluating epistemic negation in answer set programming	Yi-Dong Shen	Mingyi Zhang
	9:40 -- 10:20	On the satisfiability problem for SPARQL patterns	Xiaowang Zhang	Mingyi Zhang
	10:20 -- 11:00	Tea Break
	11:00 -- 11:40		Ju Wang	Yi Zhou
	11:40 -- 12:20	Generalized strategy synthesis for combinatorial games	Kailong Luo	Yi Zhou
2 June	9:00 -- 9:40	Large-scale reasoning with expressive knowledge graph: techniques and applications	Guilin Qi	Yongmei Liu
	9:40 -- 10:20	AGM contraction for first order conjunctive logics	Kewen Wang	Yongmei Liu
	10:20 -- 11:00	Tea Break
	11:00 -- 11:40		Quan Yu	Yin Chen
	11:40 -- 12:20		Heng Zhang	Yin Chen
	12:20 -- 12:30	Concluding the workshop