Program
July 31 2022 - Israel Summer Time
Room: Ullmann 311
10:35 -10:45 Opening
Extensions of ASP
Session Chair: Vladimir Lifschitz
10:45-11:05 Shutao Zhang, Zhizheng Zhang and Jun Shen
Constrained Default Logic Programming
11:05-11:25 Javier Romero, Torsten Schaub and Klaus Strauch
On the generalization of learnt constraints in ASP solving for temporal domains
11:25-11:45 Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu and Torsten Schaub
Conflict Handling in Product Configuration using Answer Set Programming
11:45- 12:15 Esra Erderm - Hard Variants of Stable Marriage Problems: An Empirical Comparison of ASP with Other Computing Paradigms (invited talk)
12:30 -14:00 - Lunch Break
Counting/Probabilistic ASP & Synthesis
Session Chair: Martin Gebser
14:00 - 14:20 David Tuckey, Krysia Broda and Alessandra Russo
A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge
14:20 - 14:40 Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Ruehling and Torsten Schaub
plingo: A system for probabilistic reasoning in clingo based on lpmln
14:40 - 15:00 Athénaïs Vaginay, Taha Boukhobza and Malika Smail-Tabbone
Automatic Synthesis of Boolean Networks from Biological Knowledge and Data
15:00 - 15:30 Torsten Schaub - ASP in Industry, here and there (invited talk)
ASP in Industry, here and there
15:30-16:00 - Coffee Break
Modelling and Applications
Session Chair: Torsten Schaub
16:00 - 16:20 Chloé Capon, Nicolas Lecomte and Jef Wijsen
Computing H-Partitions in ASP and Datalog
16:20 - 16:40 Vladimir Lifschitz
Translating Definitions into the Language of Logic Programming: A Case Study
16:40 - 17:00 Evan Iatrou
A normative model of explanation for binary classification legal AI and its implementation on causal explanations of Answer Set Programming
17:00 - 17:20 Zhizheng Zhang
Assumable Answer Set Programming
CAUSAL & EELP
Session Chair: Wolfgang Faber
17:30 - 17:50 Kilian Rueckschloss and Felix Weitkämper
Correct Causal Inference in Probabilistic Logic Programming
17:50 - 18:10 Francis Rhys Ward, Francesca Toni and Francesco Belardinelli
A Casual Perspective on AI Deception
18:10 - 18:30 Stefania Costantini and Andrea Formisano
Epistemic Logic Programs: a Novel Perspective and some Extensions
18:30 - 18:40 Closing