Integrating ASP-based incremental reasoning in the videogame development workflow (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

Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

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:00 - 16:30 at The Loft - Applications of Answer Set Programming (II) Chair(s): Mutsunori Banbara

Denise Angilica

Università Della Calabria

Italy

Giovambattista Ianni

University of Calabria, Italy

Italy

Francesco Pacenza

Department of Mathematics and Computer Science, University of Calabria

Italy

Jessica Zangari

Università della Calabria

Italy

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