PROGRAM
Days: Monday, September 7th Tuesday, September 8th Wednesday, September 9th Thursday, September 10th Friday, September 11th
Monday, September 7th
View this program: with abstractssession overviewtalk overview
08:30-09:30 Session 1: Datalog 2.0
Location: Z.1.09
09:30-10:00Coffee Break
10:00-12:00 Session 2: Datalog 2.0
Location: Z.1.09
12:00-13:30Lunch Break
13:30-15:30 Session 3: Datalog 2.0
Location: Z.1.09
15:30-16:00Coffee Break
16:00-18:00 Session 4: Datalog 2.0
Location: Z.1.09
Tuesday, September 8th
View this program: with abstractssession overviewtalk overview
08:30-09:30 Session 5A: HYDRA
Location: Z.1.09
09:30-10:00Coffee Break
10:00-12:00 Session 6A: HYDRA
Location: Z.1.09
12:00-13:15Lunch Break
13:15-13:30 Session 7: Opening
Location: HS B
13:30-15:30 Session 8: Keynote, Recently Published Research, Short Papers
Location: HS B
| 13:30 | Probabilistic Logics for Declarative Process Mining (abstract) |
| 14:30 | SAT Modulo Well-Founded Semantics: Extended Abstract (abstract) |
| 14:50 | Model-Theoretic Characterization of Programs under Specific Inputs (abstract) |
| 15:10 | Strong Equivalence of Logic Programs Relative to a User Guide (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 9: Reasoning
Location: HS B
| 16:00 | Efficient Grounding with Bounds using Bit Vectors (abstract) |
| 16:30 | aspen-tree: A system for non-ground meta-programming in ASP (abstract) |
| 17:00 | Enumerating Stable Models of Logic Programs using Linear Algebraic Approaches (abstract) |
| 17:30 | Abduction in the Landscape of Probabilistic Logic Programming (abstract) |
Wednesday, September 9th
View this program: with abstractssession overviewtalk overview
08:30-09:30 Session 10: Large Neighborhood Search
Location: HS B
| 08:30 | Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming (abstract) |
| 09:00 | Bayesian Hyperparameter Optimization with ALASPO (abstract) |
09:30-10:00Coffee Break
10:00-12:00 Session 11: Keynote, Short Papers, Best Doctoral Consortium Contribution
Location: HS B
| 10:00 | LPNMR in the Age of LLMs: Verification, Policy, and Trustworthy Agency (abstract) |
| 11:00 | Here-and-There with Constraints for Description Logic (abstract) |
| 11:20 | mkdoclingo: A system for automatic documentation of ASP programs (abstract) |
| 11:40 | Best Doctoral Consortium Contribution Award |
12:00-13:30Lunch Break
13:30-15:30 Session 12: Applications
Location: HS B
| 13:30 | From Pixels to Predicates: A Robust Perception Front-end for ASP-based Game Reasoning (abstract) |
| 14:00 | Improving Suboptimal Reduction-based Approaches for Multi-agent Pathfinding (abstract) |
| 14:30 | Abstract Air Traffic Flow and Capacity Management via Answer Set Programming (abstract) |
| 15:00 | Solving configuration problems with unbounded cardinalities in COOM (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 13: Planning and Scheduling
Location: HS B
| 16:00 | Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming (abstract) |
| 16:30 | Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation (abstract) |
| 17:00 | Operationalizing L-DINF in DALI2 for Trust- and Probability-Aware Adaptive Scheduling (abstract) |
| 17:30 | Emergency planning for norm violations via ASP-based stream reasoning (abstract) |
Thursday, September 10th
View this program: with abstractssession overviewtalk overview
08:30-09:30 Session 14: Equivalence
Location: HS B
| 08:30 | On Strong Equivalence Notions in Logic Programming and Abstract Argumentation (abstract) |
| 09:00 | Finding Counterexamples for External Equivalence (abstract) |
09:30-10:00Coffee Break
10:00-12:00 Session 15: Keynote, Constraint Answer Set Programming
Location: HS B
| 10:00 | Answer Set Programming for Reinforcement Learning (abstract) |
| 11:00 | Theory-Level Heuristics and Multi-Level Optimization for clingcon (abstract) |
| 11:30 | Multi-shot Solving and Domain Heuristics for CASP-based Traffic Signal Optimization (abstract) |
12:00-13:30Lunch Break
13:30-15:30 Session 16: NLP and LLMs
Location: HS B
| 13:30 | Lightweight language models for encoding ASP from natural language (abstract) |
| 14:00 | ASP Sous-Chef (abstract) |
| 14:30 | LLMs Find New Classes of Logic Programs (abstract) |
| 15:00 | BLAST: Benchmarking LLMs with ASP-based Structured Testing (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 17: Panel
Location: HS B
Friday, September 11th
View this program: with abstractssession overviewtalk overview
08:30-09:30 Session 18: Equilibrium Logic
Location: HS B
| 08:30 | Deontic Equilibrium Logic with Paraconsistent Modality (abstract) |
| 09:00 | Brief Temporal Equilibrium Logic (abstract) |
09:30-10:00Coffee Break
10:00-12:00 Session 19: Complexity and Quantified Answer Set Programming
Location: HS B
| 10:00 | Computational Complexity of Disjunctive Answer Set Programming with Quantifiers (abstract) |
| 10:30 | On the Complexity of Model Checking for Temporal Equilibrium Logic (abstract) |
| 11:00 | Equivalence under Stable-Unstable Semantics (abstract) |
| 11:30 | Step-Wise Explanations for Sudoku Puzzles Using ASP(Q) (abstract) |
12:00-12:15 Session 20: Closing
Location: HS B