ICLP-DC-SS — PROGRAM

Days: Saturday, 18 July 2026

Saturday, 18 July 2026
08:20-10:30 Opening + DC Session 1 ICLP-DC-SS
Session Chair:
Alice Tarzariol
Location: B2.02
08:20-08:30
Opening (abstract) 10 min
Alice Tarzariol1
1 University of Klagenfurt
08:30-08:50
Enhancing the Extensibility of Answer Set Programming via Meta-Programming (abstract) 20 min
Amadé Nemes1
1 University of Potsdam
08:50-09:10
Advancing Knowledge-Based Reasoning for Automated Workflow Composition (abstract) 20 min
Nikolas Bertrand1
1 University of Potsdam
09:10-09:30
Formal Methods for Answer Set Programming (abstract) 20 min
Jan Heuer1
1 University of Potsdam
09:30-09:50
Defeasible Normative Reasoning: a Deontic Equilibrium Logic approach (abstract) 20 min
Ovidio Manteiga1
1 University of A Coruña
09:50-10:10
A Three-Layer Reduction Framework for Scalable Verification of Maritime Vessel Systems under Uncertainty (abstract) 20 min
Hiba Ben Lahbib1, M. Taha Bennani2, Jüri Vain1
1 Tallinn University of Technology
2 University of Tunis El Manar
10:10-10:30
Differentiable Answer Set Programming for Neurosymbolic AI (abstract) 20 min
Sota Moriyama1
1 The Graduate University of Advanced Studies, SOKENDAI and NII
10:30-11:00 Coffee Break ICLP-DC-SS
Location: B2.02
11:00-12:00 SS Invited Talk 1 ICLP-DC-SS
Location: B2.02
12:00-14:00 Lunch ICLP-DC-SS
Location: B2.02
14:00-15:00 SS Invited Talk 2 ICLP-DC-SS
Location: B2.02
15:00-16:00 DC Session 2 ICLP-DC-SS
Location: B2.02
15:00-15:20
Integrating Description Logics and Answer Set Programming for Explainable Decision-Making in Digital Health (abstract) 20 min
Alina Vozna1
1 University Of Pisa, University of L'Aquila
15:20-15:40
Computational methods for Dynamic Answer Set Programming (abstract) 20 min
Susana Hahn1
1 University of Potsdam
15:40-16:00
Logical Foundations of Dynamical Answer Set Programming (abstract) 20 min
Arvid Becker1
1 University of Potsdam
16:00-16:30 Coffee Break ICLP-DC-SS
Location: B2.02
16:30-17:15 DC Session 3 + Closing ICLP-DC-SS
Location: B2.02
16:30-16:50
Hybrid Answer Set Programming: Foundations and Applications (abstract) 20 min
Nicolas Rühling1
1 University of Potsdam
16:50-17:10
Modeling Railway Systems in Answer Set Programming (abstract) 20 min
Ryan Kepler James Murphy1
1 University of Potsdam
17:10-17:15
Closing (abstract) 5 min
Alice Tarzariol1
1 University of Klagenfurt
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑