ASPOCP — PROGRAM
Days: Saturday, 18 July 2026
Saturday, 18 July 2026
08:45-10:30
Opening + Neurosymbolic and Metaprogramming
ASPOCP
Session Chair:
Location:
C2.01
| 08:45-08:50 |
Opening (abstract) 5 min
1 University of Coruña
|
| 08:50-09:15 |
Neural Decision-Propagation for Answer Set Programming (Extended Abstract) (abstract) 25 min
1 TU Wien
2 NII
3 The Graduate University of Advanced Studies, SOKENDAI and NII
|
| 09:15-09:40 |
Instance-Aware AMOSUM Propagator Selection in ASP (abstract) 25 min
1 University of Calabria
2 TU Wien
|
| 09:40-10:05 |
aspen-tree: A system for non-ground meta-programming in ASP (Preliminary Report) (abstract) 25 min
1 University of Potsdam, Germany
|
| 10:05-10:29 |
Implementing Operator-Based Semantics for Normal Logic Programs using Meta-Programming in ASP (abstract) 24 min
1 Open Universiteit
2 University of Alberta
|
10:30-11:00
Coffee Break
ASPOCP
Location:
C2.01
11:00-12:40
Planning and Temporal Reasoning
ASPOCP
Session Chair:
Location:
C2.01
| 11:00-11:25 |
Towards ASP-based Composition of Scientific Workflows (abstract) 25 min
1 University of Potsdam
|
| 11:25-11:50 |
Declarative Spatial Reasoning in Temporal Here-and-There with Constraints (abstract) 25 min
1 Sorbonne University
2 University of Angers
3 University of Aarhus
|
| 11:50-12:15 |
Flaspland: A Test-bed for Routing and Scheduling in Answer Set Programming (Preliminary Report) (abstract) 25 min
1 University of Potsdam, Germany
|
| 12:15-12:39 |
Dynamic Equilibrium Logic for Action and Change: Abridged report (abstract) 24 min
1 University of Potsdam, Germany
2 University of Angers, France
|
12:40-13:40
Lunch
ASPOCP
Location:
C2.01
13:40-14:40
Invited Speaker
ASPOCP
Session Chair:
Location:
C2.01
| 13:40-14:39 |
ASPECT: Answer Set rePresentation as vEctorgraphiCs in laTex (abstract) 59 min
1 Department of Engineering, University of Ferrara
|
14:40-15:30
Industrial applications
ASPOCP
Session Chair:
Location:
C2.01
| 14:40-15:05 |
Modeling the Resource-Constrained Project Scheduling Problem with Answer Set Programming (abstract) 25 min
1 Cairo University
2 University of Klagenfurt
|
| 15:05-15:29 |
Solving configuration problems with unbounded cardinalities in COOM: Preliminary report (abstract) 24 min
1 University of Würzburg
2 denkbares
3 UP Transfer
4 Potassco Solutions
5 University of Potsdam
|
15:30-16:00
Coffee Break
ASPOCP
Location:
C2.01
16:00-17:20
System and Tools + Closing
ASPOCP
Session Chair:
Location:
C2.01
| 16:00-16:25 |
Between Two Worlds: Logica Intertwines ASP and SQL (abstract) 25 min
1 Google
2 Gonzaga University
3 University of Illinois, Urbana-Champaign
|
| 16:25-16:50 |
Finding Counterexamples for External Equivalence: Preliminary Report (abstract) 25 min
1 University of Nebraska Omaha, USA
2 University of Potsdam, Germany
3 Tampere University, Finland
|
| 16:50-17:15 |
asplain: An ASP System for Contrastive Explanations (abstract) 25 min
1 Potassco Solutions GmbH, Germany
2 University of Coruña, Spain
|
| 17:15-17:19 |
Closing (abstract) 4 min
1 University of Klagenfurt
|