Wednesday, Aug 3

Session 1
Dagstuhl + D&I (Taub 2)
09:00 - 09:30Report Back on Dagstuhl Perspectives Workshop: Current and Future Challenges in Knowledge Representation and Reasoning
Chair: Thomas Meyer
09:30 - 10:30D&I Session
Chair: Gabriele Kern-Isberner
10:30 - 11:00Coffee Break
Session 2
KR & Machine Learning (Taub 2)
Session Chair: Fabio Cozman
Recently Published Research (Taub 3)
Session Chair: Sebastian Rudolph
11:00 - 11:30 Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Dhami and Kristian Kersting
Neural-Probabilistic Answer Set Programming
Nicolas Schwind, Sébastien Konieczny and Ramón Pino Pérez
On Paraconsistent Belief Revision in LP (extended abstract)

Laura Giordano, Valentina Gliozzi and Daniele Theseider Dupre
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (extended abstract)
11:30 - 12:00 David Tena Cucala, Bernardo Cuenca Grau and Boris Motik
Faithful Approaches to Rule Learning
Emanuele Albini, Antonio Rago, Pietro Baroni and Francesca Toni
Influence-Driven Explanations for Bayesian Network Classifiers (extended abstract)

Alice Tarzariol, Martin Gebser and Konstantin Schekotihin
Lifting Symmetry Breaking Constraints with Inductive Logic Programming (extended abstract)

Nico Potyka
Abstract Argumentation with Markov Networks (extended abstract)
12:00 - 12:30 João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves and Joao Leite
Looking Inside the Black-Box: Logic-based Explanations for Neural Networks
Nico Potyka
Interpreting Neural Networks as Quantitative Argumentation Frameworks (extended abstract)

Adrian Haret and Johannes Wallner
An Axiomatic Approach to Revising Preferences (extended abstract)

Julian Chingoma, Ulle Endriss and Ronald de Haan
Simulating Multiwinner Voting Rules in Judgment Aggregation (extended abstract)
12:30 - 14:00Lunch, DC Mentor Lunch
Session 3
KR & Machine Learning (Taub 2)
Session Chair: Luciano Serafini
Recently Published Research (Taub 3)
Session Chair: Sebastian Rudolph
14:00 - 14:30 Viktor Pfanschilling, Hikaru Shindo, Devendra Singh Dhami and Kristian Kersting
Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas and Vijay Ganesh
Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation (extended abstract)

Dominik Rusovac, Sarah Alice Gaggl and Johannes K. Fichte
Rushing and Strolling among Answer Sets -- Navigation Made Easy (extended abstract)

Esra Erdem, Müge Fidan, David Manlove and Patrick Prosser
A General Framework for Stable Roommates Problems using Answer Set Programming (extended abstract)
14:30 - 15:00 Simon Ståhlberg, Blai Bonet and Hector Geffner
Learning generalized policies without supervision using GNNs
Yusuf Izmirlioglu and Esra Erdem
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (extended abstract)

Ahmed Nouman, Volkan Patoglu and Esra Erdem
Hybrid Conditional Planning for Robotic Applications (extended abstract)

Meghyn Bienvenu, Gianluca Cima and Victor Gutierrez-Basulto
LACE: A Logical Approach to Collective Entity Resolution (extended abstract)
15:00 - 15:30 Yaniv Aspis, Alessandra Russo, Krysia Broda and Jorge Lobo
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
Lianlong Wu, Emanuel Sallinger, Evgeny Sherkhonov, Sahar Vahdati and Georg Gottlob
Rule Learning over Knowledge Graphs with Genetic Logic Programming (extended abstract)
15:30 - 16:00Coffee Break
Session 4
16:00 - 17:00Invited Talk (Taub 2, online)
Ulrike Hahn
Probabilities, Reasoning, and Argumentation (abstract)

Chair: Gerhard Lakemeyer
Conditionals (Taub 2)
Session Chair: Alexander Bochman
Actions (Taub 3)
Session Chair: Lucia Gomez Alvarez
17:00 - 17:30 Tommaso Flaminio, Angelo Gilio, Lluis Godo and Giuseppe Sanfilippo
Compound conditionals as random quantities and Boolean algebras
Shufang Zhu and Giuseppe De Giacomo
Act for Your Duties but Maintain Your Rights
17:30 - 18:00 Giovanni Casini and Umberto Straccia
A General Framework for Modelling Conditional Reasoning - Preliminary Report
Emiliano Lorini, Elise Perrotin and Francois Schwarzentruber
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models