Solving Vehicle Equipment Specification Problems with Answer Set Programming (PADL 2023 - : The 25th International Symposium on Practical Aspects of Declarative Languages)

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

Who

Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub

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 14:30 - 15:00 at The Loft - Applications of Answer Set Programming (I) Chair(s): Wolfgang Faber

Raito Takeuchi

Nagoya University

Japan

Mutsunori Banbara

Nagoya University

Japan

Naoyuki Tamura

Kobe University, JAPAN

Japan

Torsten Schaub

University of Potsdam

Germany

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

14:00 - 15:30	Applications of Answer Set Programming (I)PADL at The Loft Chair(s): Wolfgang Faber Alpen-Adria-Universität, Austria

14:00 30m Talk		Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming PADL Zesheng Xu The University of Texas at Dallas, Gopal Gupta University of Texas at Dallas, USA, Elmer Salazar The University of Texas at Dallas, Joaquín Arias Universidad Rey Juan Carlos, Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research
14:30 30m Talk		Solving Vehicle Equipment Specification Problems with Answer Set Programming PADL Raito Takeuchi Nagoya University, Mutsunori Banbara Nagoya University, Naoyuki Tamura Kobe University, JAPAN, Torsten Schaub University of Potsdam
15:00 30m Talk		Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling PADL Anssi Yli-Jyrä Tampere University, Masood Feyzbakhsh Rankooh Tampere University, Tomi Janhunen Tampere University