VRASP: A Virtual Reality Environment for Learning Answer Set Programming (PADL 2020 - The 22nd International Symposium on Practical Aspects of Declarative Languages) - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Vinh The Nguyen, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy Dang

Track

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 20 Jan 2020 11:10 - 11:25 at Bacchus - Answer Set Programming Systems Chair(s): Neng-Fa Zhou

Vinh The Nguyen

Texas Tech University

United States

Yuanlin Zhang

Kwanghee Jung

Wanli Xing

Tommy Dang

Texas Tech University

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 Kinjal Basu , Farhad Shakerin , Gopal Gupta
	10:55 15m Short-paper		Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report PADL Alex Brik , Jeffrey Xu UCLA
	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