FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
ASPOCP PROGRAM
Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
10:35-10:45 Session 8: Opening
Chair:
Markus Hecher
Location: Ullmann 311
10:45-12:30 Session 9: Extensions of ASP

Extensions of ASP

Location: Ullmann 311
10:45
Shutao Zhang, Zhizheng Zhang and Jun Shen
Constrained Default Logic Programming (abstract)
PRESENTER: Shutao Zhang
11:05
Javier Romero, Torsten Schaub and Klaus Strauch
On the generalization of learnt constraints in ASP solving for temporal domains (abstract)
PRESENTER: Klaus Strauch
11:25
Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu and Torsten Schaub
Conflict Handling in Product Configuration using Answer Set Programming (abstract)
PRESENTER: Konstantin Herud
11:45
Esra Erdem
Hard Variants of Stable Marriage Problems: An Empirical Comparison of ASP with Other Computing Paradigms
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 14B: Counting/Probabilistic ASP & Synthesis

Counting/Probabilistic ASP & Synthesis

Chair:
Martin Gebser
Location: Ullmann 311
14:00
David Tuckey, Krysia Broda and Alessandra Russo
A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge (abstract)
PRESENTER: David Tuckey
14:20
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Ruehling and Torsten Schaub
plingo: A system for probabilistic reasoning in clingo based on lpmln (abstract)
PRESENTER: Nicolas Ruehling
14:40
Athénaïs Vaginay, Taha Boukhobza and Malika Smail-Tabbone
Automatic Synthesis of Boolean Networks from Biological Knowledge and Data (abstract)
PRESENTER: Athénaïs Vaginay
15:00
Torsten Schaub
ASP in Industry, here and there (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 19A: Modelling and Applications

Modelling and Applications

Chair:
Torsten Schaub
Location: Ullmann 311
16:00
Chloé Capon, Nicolas Lecomte and Jef Wijsen
Computing H-Partitions in ASP and Datalog (abstract)
PRESENTER: Nicolas Lecomte
16:20
Vladimir Lifschitz
Translating Definitions into the Language of Logic Programming: A Case Study (abstract)
16:40
Evan Iatrou
A normative model of explanation for binary classification legal AI and its implementation on causal explanations of Answer Set Programming (abstract)
17:00
Zhizheng Zhang
Assumable Answer Set Programming (abstract)
17:30-18:30 Session 24A: CAUSAL and EELP

CAUSAL and EELP

Chair:
Wolfgang Faber
Location: Ullmann 311
17:30
Kilian Rueckschloss
Correct Causal Inference in Probabilistic Logic Programming
17:50
Francis Rhys Ward
A Casual Perspective on AI Deception
18:10
Stefania Costantini and Andrea Formisano
Epistemic Logic Programs: a Novel Perspective and some Extensions
PRESENTER: Stefania Costantini