(Tentative) Schedule

11 October

12 October

Session: Invited Talk Verónica Dahl & Argumentation I - Where: TBA - Chair: TBA.

08:45-09:00. Opening.

09:00-10:00. Invited Talk. Verónica Dahl: The transformational power of non-monotonic reasoning.

10:00-10:30. Jesse Heyninck, Matthias Knorr and Joao Leite: Abstract Dialectical Frameworks are Boolean Networks.

10:30-11:00. Coffee break.

Session: Argumentation II - Where: TBA - Chair: TBA.

11:00-11:30. Ringo Baumann and Hannes Strass: Consequence Operators of Characterization Logics – The Case of Abstract Argumentation.

11:30-12:00. Matti Berthold and Markus Ulbricht: On Forgetting in Assumption-Based Argumentation.

12:00-12:30. Esteban Guerrero and Juan Carlos Nieves: Semantic-based Arguments using Logic Programming Rewriting Systems.

12:30-13:00. Lunch.

Session: Applications I - Where: TBA - Chair: TBA.

13:30-14:00. Nils Küchenmeister, Alex Ivliev and Markus Krötzsch: Towards Mass Spectrum Analysis with ASP. 

14:00-14:30. Antonio Ielo, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi and Francesco Ricca: An ASP-based approach to water distribution system reconstruction.

14:30-15:00. Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshoefer, Nicolas Rühling, Torsten Schaub and Philipp Wanko: Towards Industrial-scale Product Configuration.

15:00-15:30. Coffee break.

Session: Explainability & QA - Where: TBA - Chair: TBA.

15:30-16:00. Hasra Dodampegama and Mohan Sridharan: Reasoning and Explanation Generation in Ad hoc Collaboration between Humans and Embodied AI.

16:00-16:30. Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz and Joel Sare: tExplain: Information Extraction with Explanations.

16:30-17:00. Mario Alviano, Susana Hahn, Orkunt Sabuncu and Hannes Weichelt: Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets.

17:00-17:30. Irfan Kareem, Katie Gallagher, Manuel Borroto, Francesco Ricca and Alessandra Russo: Using Learning from Answer Sets for robust question answering with LLM.

13 October

Session: Invited Talk Torsten Schaub & Best Paper - Where: TBA - Chair: TBA.

08:45-09:00. Opening.

09:00-10:00. Invited Talk. Torsten Schaub: TBA.

10:00-10:30. Robbe Van den Eede, Robbe Van Biervliet and Marc Denecker: A Sequent Calculus for Generalized Inductive Definitions.

10:30-11:00. Coffee break.

Session: Temporal Reasoning - Where: TBA - Chair: TBA.

11:00-11:30. Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero and Torsten Schaub: Compiling Metric Temporal Answer Set Programming.

11:30-12:00. Pedro Cabalar, Martín Diéguez, François Laferriere, Torsten Schaub and Igor Stéphan: A Fixpoint Characterisation of Temporal Equilibrium Logic.

12:00-12:30. Valeria Fionda, Antonio Ielo and Francesco Ricca: LTLf2ASP: LTLf Bounded Satisfiability in ASP.

12:30-13:00. Lunch.

Session: Systems - Where: TBA - Chair: TBA.

13:30-14:00. Theresa Swift and Michael Kifer: Multi-paradigm Logic Programming in the ErgoAI System.

14:00-14:30. Mario Alviano and Luis Angel Rodriguez Reiners: Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping.

14:30-14:45. Mario Alviano, Paola Guarasci, Luis Angel Rodriguez Reiners and Ilaria R. Vasile: Integrating Structured Declarative Language (SDL) into ASP Chef. 

14:45-15:00. Lucas Van Laer, Simon Vandevelde and Joost Vennekens: Efficiently grounding FOL using bit vectors.

15:00-15:30. Coffee break.

Session: Applications II & Agents - Where: TBA - Chair: TBA.

15:30-16:00. Domenico Pagliaro, Elena Mastria, Francesco Calimeri, Simona Perri, Martin Pleschberger and Konstantin Schekotihin: Monitoring and Scheduling of Semiconductor Failure Analysis Labs.

16:00-16:30. Talissa Dreossi, Alessandra Russo, Agostino Dovier, Agostino Manzato, Mark Law, Matthew Tait and Andrea Formisano: Towards Explainable Weather Forecasting Through FastLAS

16:30-17:00. Francesco Chiariello, Antonio Ielo and Alice Tarzariol: An ILASP-Based Approach to Repair Petri Nets.

17:00-17:30. Long Tran, Tran Cao Son, Dylan Flynn and Marcello Balduccini: A Multi-Agent Simulation for Supply Chains Contract Execution.

17:30-18:00. Vineel Tummala and Daniela Inclezan: Policies, Penalties, and Autonomous Agents.

14 October

Session: Invited Talk Moshe Vardi & Best Student Paper - Where: TBA - Chair: TBA.

08:45-09:00. Opening.

09:00-10:00. Invited Talk. Moshe Vardi: Logic Programming and Logical Algorithmics.

10:00-10:30. Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Mutsunori Banbara: ASP-based Large Neighborhood Prioritized Search for Course Timetabling.

10:30-11:00. Coffee break.

Session: Foundations - Where: TBA - Chair: TBA.

11:00-11:30. Jorge Fandinno and Vladimir Lifschitz: Deductive Systems for Logic Programs with Counting: Preliminary Report.

11:30-12:00. Samuele Pollaci, Babis Kostopoulos, Marc Denecker and Bart Bogaerts: A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory.

12:00-12:30. Ezgi Iraz Su: A Generalisation of Epistemic Splitting Property.

12:30-13:00. Lunch.

Session: Argumentation III & Closing - Where: TBA - Chair: TBA.

13:30-14:00. Stefano Bistarelli, Maria Chiara Meo and Carlo Taticchi: Modelling Dialogues in a Concurrent Language for Argumentation.

14:00-14:15. Iosif Apostolakis, Zeynep G. Saribatur and Johannes P. Wallner: A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation.

14:15-14:30. Closing.

14:30-18:30. Tour (TBA).

18:30. Conference Dinner (TBA).