UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper) (PADL 2023 - : The 25th International Symposium on Practical Aspects of Declarative Languages)

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Who

Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos

Track

PADL 2023

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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

Save

When

Mon 16 Jan 2023 16:30 - 17:00 at The Loft - Applications of Answer Set Programming (II) Chair(s): Mutsunori Banbara

Sarat Chandra Varanasi

The University of Texas at Dallas, General Electric Research

United States

Baoluo Meng

GE Research

United States

Christopher Alexander

GE Research

Szabolcs Borgyos

GE Research

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

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

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 16 Jan
Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30	Applications of Answer Set Programming (II)PADL at The Loft Chair(s): Mutsunori Banbara Nagoya University

16:00 30m Talk		Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper) PADL Denise Angilica Università Della Calabria, Giovambattista Ianni University of Calabria, Italy, Francesco Pacenza Department of Mathematics and Computer Science, University of Calabria, Jessica Zangari Università della Calabria
16:30 30m Talk		UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper) PADL Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research, Baoluo Meng GE Research, Christopher Alexander GE Research, Szabolcs Borgyos GE Research
17:00 30m Talk		Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper) PADL Ramsha Ali University of Klagenfurt, Mohammed M. S. El-Kholany University of Klagenfurt, Martin Gebser University of Klagenfurt, Austria