Wednesday, Aug 3 | ||
| Session 1 | ||
|---|---|---|
| Dagstuhl + D&I (Taub 2) | ||
| 09:00 - 09:30 | Report Back on Dagstuhl Perspectives Workshop: Current and Future Challenges in Knowledge Representation and Reasoning
Chair: Thomas Meyer | |
| 09:30 - 10:30 | D&I Session Chair: Gabriele Kern-Isberner | |
| Coffee | ||
| 10:30 - 11:00 | Coffee 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) |
| Lunch | ||
| 12:30 - 14:00 | Lunch, 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) |
| Coffee | ||
| 15:30 - 16:00 | Coffee Break | |
| Session 4 | ||
| 16:00 - 17:00 | Invited 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 |
