Program
July 10 2023 - UK Time
Room: Huxley Building, Level 3, Room 311
08:50 - 09:00 Opening
Session Chair: Mario Alviano
09:00 - 09:50 Wolfgang Faber
Invited Talk: Reversibility of Actions and Plans and Answer Set Programming with Quantifiers
09:50 - 10:10 Alessandro Bertagnon and Marco Gavanelli
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
10:10 - 10:30 Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son and Jiří Švancara
Routing and Scheduling in different ways: Abridged Preliminary Report
10:30 - 11:00 - Coffee Break
Session Chair: Carmine Dodaro
11:00 - 11:20 Pedro Cabalar and Brais Muñiz Castro
Explanation Graphs for Stable Models of Labelled Logic Programs
11:20 - 11:40 Mario Alviano, Davide Cirimele and Luis Angel Rodriguez Reiners
Introducing ASP recipes and ASP Chef
11:40 - 12:00 Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunya, Javier Romero, Torsten Schaub and Sebastian Schellhorn
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report)
12:00 - 12:20 Mario Alviano, Laura Giordano and Daniele Theseider Dupre
Preferential reasoning with typicality in ASP for many-valued Gradual Argumentation Semantics
12:30-13:30 - Lunch Break
Session Chair: Marco Gavanelli
13:30 - 13:50 Pedro Cabalar, Martín Diéguez, François Laferriere and Torsten Schaub
Past-present temporal logic programs over finite traces
13:50 - 14:10 Spencer Killen, Wenkai Gao and Jia-Huai You
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF
14:10 - 14:30 Jorge Fandinno and Zachary Hansen
Recursive Aggregates as Intensional Functions
14:30 - 14:50 Loris Bozzato, Thomas Eiter, Rafael Kiesel and Daria Stepanova
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures
14:50 - 15:10 Denise Angilica , Giorgio Michele De Giorgio and Giobambattista Ianni
On the impact of sensors update in declarative AI for videogames
15:10 - 15:20 Closing