POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

This program is tentative and subject to change.

Tue 21 Jan 2025 11:30 - 12:00 at Room 2 - Session 6

A novel Weighted Bipolar Argumentation Framework (WBAF) is proposed in this paper, which deals with attack and support relations equally and takes into account the weight of arguments and relations, and is a more general extension of the classical AF. The semantics of WBAF - minimum-penalty preferred extensions is introduced, which refers to the maximal acceptable argument set inclusions. Furthermore, this paper designs and realizes an ASP-based WBAF reasoning tool - ASPWBART (Answer Set Programming Based Weighted Bipolar Argumentation Reasoning Tool). This tool supports the incorporation of weighted arguments and weighted relations, and culminates in the generation of minimum-penalty preferred extensions.

This program is tentative and subject to change.

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

11:00 - 12:30
Session 6PADL at Room 2
11:00
30m
Talk
ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia
PADL
Daniela Inclezan Miami University, USA, Hunter Lockwood Myaamia Center & Miami University, Anita Baral Miami University, Jitendra Sharma Miami University, Pratiksha Shrestha Miami University
11:30
30m
Talk
A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
PADL
Yan Yan Southeast University, Nanjing, Junru Li Southeast University, Nanjing, Fangzhou Liu Southeast University, Nanjing, Zerong Wang Southeast University, Nanjing, Zhizheng Zhang Southeast University, Nanjing
12:00
30m
Talk
Automated Playing of Survival Video Games with Commonsense Reasoning (short paper)
PADL
Dan Nguyen University of Texas at Dallas, USA, Bryant Hargreaves University of Texas at Dallas, USA, Keegan Kimbrell University of Texas at Dallas, USA, Gopal Gupta