Schedule
Bus Schedule
On Oct 11 (Fri), Oct 12 (Sat), Oct 13 (Sun):
Morning commute: A bus will run back and forth from the Double Tree Hilton to the conference site 7:30am - 9:30am.
Evening commute: A bus will run back and forth from the conference site to the Double Tree Hilton 5:00pm - 7:00pm.
On Oct 14 (Mon):
Morning commute: A bus will run back and forth from the Double Tree Hilton to the conference site 7:30am - 9:30am.
The buses taking attendees to the banquet will drop everyone back to the hotel.
11 October
Workshop Day
07:45-09:00. Breakfast.
09:00-17:30. Datalog.
12 October
Session: Invited Talk Verónica Dahl & Argumentation I - Where: JSOM 2.106 - Chair: Son Tran.
07:45-08:45. Breakfast.
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: JSOM 2.106 - Chair: Stefano Bistarelli.
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:30. Lunch.
Session: Applications I - Where: JSOM 2.106 - Chair: Mario Alviano.
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: JSOM 2.106 - Chair: Susana Hahn.
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: JSOM 2.106 - Chair: Francesco Ricca.
07:45-09:00. Breakfast.
09:00-10:00. Invited Talk. Torsten Schaub: What's cooking at Potassco?
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: JSOM 2.106 - Chair: Marcello Balduccini.
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:30. Lunch.
Session: Systems - Where: JSOM 2.106 - Chair: Bart Bogaerts.
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: JSOM 2.106 - Chair: Wolfgang Faber.
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: Davidson Gundy Alumni Center - Chair: Gopal Gupta.
07:45-09:00. Breakfast.
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: Davidson Gundy Alumni Center - Chair: Jesse Heyninck.
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:30. Lunch.
Session: Argumentation III & Closing - Where: Davidson Gundy Alumni Center - Chair: Martin Gebser.
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. Best DC paper presentation. Susana Hahn: Computational Methods for Dynamic Answer Set Programming.
14:30-14:35. Closing.
14:35-18:00. Tour (Fort Worth Stockyards).