Write a Blog >>
Mon 20 Jan 2020 10:55 - 11:10 at Bacchus - Answer Set Programming Systems Chair(s): Neng-Fa Zhou

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

10:30 - 12:00
Answer Set Programming SystemsPADL at Bacchus
Chair(s): Neng-Fa Zhou CUNY Brooklyn College and Graduate Center
10:30
25m
Talk
AQuA: ASP-based Visual Question Answering
PADL
10:55
15m
Short-paper
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report
PADL
11:10
15m
Short-paper
VRASP: A Virtual Reality Environment for Learning Answer Set Programming
PADL
Vinh The Nguyen Texas Tech University, Yuanlin Zhang , Kwanghee Jung , Wanli Xing , Tommy Dang Texas Tech University
11:25
35m
Other
Panel: Programming with logic for the masses
PADL
Nikolaj Bjørner Microsoft Research, Paul Tarau University of North Texas, Eduardo Blanco , Kinjal Basu , Farhad Shakerin , Gopal Gupta , Alex Brik , Jeffrey Xu UCLA, Vinh The Nguyen Texas Tech University, Yuanlin Zhang , Kwanghee Jung , Wanli Xing , Tommy Dang Texas Tech University