Poster Sessions

Poster sessions will be held in Gather.Town. The number in the front of each poster below is the poster’s id and it may be used to locate a poster in the virtual poster hall (by its presenter, or the attendants of the poster session). The posters are split between the two sessions on Monday and Tuesday. Poster presenters are expected to be by their posters at least on the the designated day, but they can do so on both days.
Additional posters from StarAI.

Monday 25, 14:30 - 16:30 CEST


Leticia Figueiredo, Aline Paes and Gerson Zaverucha 1. Transfer Learning for Boosted Relational Dependency Networks Through Genetic Algorithm (poster) Thais Luca, Aline Paes and Gerson Zaverucha 2. Mapping Across Relational Domains for Transfer Learning with Word Embeddings-based Similarity (poster) Devendra Dhami, Siwen Yan, Gautam Kunapuli and Sriraam Natarajan 3. Non-Parametric Learning of Embeddings for Relational Data using Gaifman Locality Theorem (poster) Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue 4. Learning Any Memory-less Discrete Semantics for Dynamical Systems Represented by Logic Programs (poster) Yin Jun Phua and Katsumi Inoue 5. Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance (poster) Mark Gromowski, Dennis Müller and Ute Schmid 6. Exploiting Temporal Relations of Events for Classification Tasks – Proof of Concept Study with Synthetic Data Sets (poster) Lun Ai, Stephen H. Muggleton, Céline Hocquette, Mark Gromowski, Ute Schmid 7. Beneficial and Harmful Explanatory Machine Learning (poster) Lidia Contreras-Ochando, Cèsar Ferri and José Hernández-Orallo 8. AUTOMAT[R]IX: Learning Simple Matrix Pipelines (poster) Stassa Patsantzis, Stephen H. Muggleton 9. Top Program Construction and Reduction for Polynomial Time Meta-Interpretive Learning (poster) Felix Weitkämper 10. An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions (poster) Florian Andreas Marwitz, Tanya Braun and Ralf Möller 11. A First Step Towards Even More Sparse Encodings of Probability Distributions (poster) Hien Nguyen and Chiaki Sakama 12. Feature Learning by Least Generalization (poster) Jáchym Barvínek, Timothy van Bremen, Yuyi Wang, Filip Železný and Ondřej Kuželka 13. Automatic Conjecturing of P-Recursions Using Lifted Inference (poster) Sharad Chitlangia, Atharv Sonwane, Tirtharaj Dash, Lovekesh Vig, Ashwin Srinivasan and Gautam Shroff 14. Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems (poster) Leopoldo Bertossi and Gabriela Reyes 15. Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification (poster) Kun Gao, Hanpin Wang, Yongzhi Cao and Katsumi Inoue 16. Learning from Interpretation Transition using Differentiable Logic Programming Semantics (poster) Blaž Škrlj, Matej Martinc, Nada Lavrač & Senja Pollak 17. autoBOT: Evolving Neuro-symbolic Representations for Explainable Low Resource Text Classification (poster) Gustav Sourek, Filip Zelezny and Ondrej Kuzelka 18. Beyond Graph Neural Networks with Lifted Relational Neural Networks (poster) Varun Embar, Sriram Srinivasan and Lise Getoor 19. A Comparison of Statistical Relational Learning and Graph Neural Networks for Aggregate Graph Queries (poster) Paolo Dragone, Stefano Teso and Andrea Passerini 20. Neuro-Symbolic Constraint Programming for Structured Prediction (poster) Patrick Betz, Mathias Niepert, Pasquale Minervini and Heiner Stuckenschmidt 21. Backpropagating through Markov Logic Networks (poster) Harald Strömfelt, Luke Dickens, Artur Garcez and Alessandra Russo 22. Coherent and Consistent Relational Transfer Learning with Auto-encoders (poster) Thomas Winters, Giuseppe Marra, Robin Manhaeve and Luc De Raedt 23. DeepStochLog: Neural Stochastic Logic Programming (poster) Jinyung Hong and Theodore P. Pavlic 24. An Insect-Inspired Randomly, Weighted Neural Network with Random Fourier Features For Neuro-Symbolic Relational Learning (poster) Pasquale Minervini, Daniel Daza, Erik Arakelyan and Michael Cochez 25. Complex Query Answering with Neural Link Predictors (poster) Justin Brody, Bobby Austin, Omar Khater, Christopher J. Maxey, Matthew D Goldberg, Timothy Clausner, Darsana Josyula and Don Perlis 26. Using Neural Networks to Control Glut in the Active Logic Machine (poster) Daniel Silver and Ahmed Galila 27. Learning Arithmetic from Handwritten Images with the Aid of Symbols (poster)
Gather Link

Leticia Figueiredo, Aline Paes and Gerson Zaverucha
1. Transfer Learning for Boosted Relational Dependency Networks Through Genetic Algorithm (poster)

Thais Luca, Aline Paes and Gerson Zaverucha
2. Mapping Across Relational Domains for Transfer Learning with Word Embeddings-based Similarity (poster)

Devendra Dhami, Siwen Yan, Gautam Kunapuli and Sriraam Natarajan
3. Non-Parametric Learning of Embeddings for Relational Data using Gaifman Locality Theorem (poster)

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
4. Learning Any Memory-less Discrete Semantics for Dynamical Systems Represented by Logic Programs (poster)

Yin Jun Phua and Katsumi Inoue
5. Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance (poster)

Mark Gromowski, Dennis Müller and Ute Schmid
6. Exploiting Temporal Relations of Events for Classification Tasks – Proof of Concept Study with Synthetic Data Sets (poster)

Lun Ai, Stephen H. Muggleton, Céline Hocquette, Mark Gromowski, Ute Schmid
7. Beneficial and Harmful Explanatory Machine Learning (poster)

Lidia Contreras-Ochando, Cèsar Ferri and José Hernández-Orallo
8. AUTOMAT[R]IX: Learning Simple Matrix Pipelines (poster)

Stassa Patsantzis, Stephen H. Muggleton
9. Top Program Construction and Reduction for Polynomial Time Meta-Interpretive Learning (poster)

Felix Weitkämper
10. An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions (poster)

Florian Andreas Marwitz, Tanya Braun and Ralf Möller
11. A First Step Towards Even More Sparse Encodings of Probability Distributions (poster)

Hien Nguyen and Chiaki Sakama
12. Feature Learning by Least Generalization (poster)

Jáchym Barvínek, Timothy van Bremen, Yuyi Wang, Filip Železný and Ondřej Kuželka
13. Automatic Conjecturing of P-Recursions Using Lifted Inference (poster)

Sharad Chitlangia, Atharv Sonwane, Tirtharaj Dash, Lovekesh Vig, Ashwin Srinivasan and Gautam Shroff
14. Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems (poster)

Leopoldo Bertossi and Gabriela Reyes
15. Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification (poster)

Kun Gao, Hanpin Wang, Yongzhi Cao and Katsumi Inoue
16. Learning from Interpretation Transition using Differentiable Logic Programming Semantics (poster)

Blaž Škrlj, Matej Martinc, Nada Lavrač & Senja Pollak
17. autoBOT: Evolving Neuro-symbolic Representations for Explainable Low Resource Text Classification (poster)

Gustav Sourek, Filip Zelezny and Ondrej Kuzelka
18. Beyond Graph Neural Networks with Lifted Relational Neural Networks (poster)

Varun Embar, Sriram Srinivasan and Lise Getoor
19. A Comparison of Statistical Relational Learning and Graph Neural Networks for Aggregate Graph Queries (poster)

Paolo Dragone, Stefano Teso and Andrea Passerini
20. Neuro-Symbolic Constraint Programming for Structured Prediction (poster)

Patrick Betz, Mathias Niepert, Pasquale Minervini and Heiner Stuckenschmidt
21. Backpropagating through Markov Logic Networks (poster)

Harald Strömfelt, Luke Dickens, Artur Garcez and Alessandra Russo
22. Coherent and Consistent Relational Transfer Learning with Auto-encoders (poster)

Thomas Winters, Giuseppe Marra, Robin Manhaeve and Luc De Raedt
23. DeepStochLog: Neural Stochastic Logic Programming (poster)

Jinyung Hong and Theodore P. Pavlic
24. An Insect-Inspired Randomly, Weighted Neural Network with Random Fourier Features For Neuro-Symbolic Relational Learning (poster)

Pasquale Minervini, Daniel Daza, Erik Arakelyan and Michael Cochez
25. Complex Query Answering with Neural Link Predictors (poster)

Justin Brody, Bobby Austin, Omar Khater, Christopher J. Maxey, Matthew D Goldberg, Timothy Clausner, Darsana Josyula and Don Perlis
26. Using Neural Networks to Control Glut in the Active Logic Machine (poster)

Daniel Silver and Ahmed Galila
27. Learning Arithmetic from Handwritten Images with the Aid of Symbols (poster)

Tuesday 26, 14:30 - 16:30 CEST


Theodoros Kasioumis, Joe Townsend and Hiroya Inakoshi 28. Elite BackProp: Training Sparse Interpretable Neurons (poster) Pedro Zuidberg Dos Martires 29. Neural Semirings (poster) Anna Himmelhuber, Sonja Zillner, Stephan Grimm, Martin Ringsquandl, Mitchell Joblin and Thomas Runkler 30. A New Concept for Explaining Graph Neural Networks (poster) Rohan Deshpande, Jerry Chen and Isabelle Lee 31. RecT: A Recursive Transformer Architecture for Generalizable Mathematical Reasoning (poster) Nuri Cingillioglu and Alessandra Russo 32. pix2rule: End-to-end Neuro-symbolic Rule Learning (poster) Edgar Altszyler, Pablo Brusco, Nikoletta Basiou, John Byrnes and Dimitra Vergyri 33. Zero-shot Multi-Domain Dialog State Tracking Using Prescriptive Rules (poster) Samy Badreddine and Michael Spranger 34. Extending Real Logic with Aggregate Functions (poster) Se-In Jang and Alexandre Thiery 35. Explainable Diabetic Retinopathy Classification Based on Neural-Symbolic Learning (poster) Johannes Rabold, Michael Siebers, Ute Schmid 36. Generating Contrastive Explanations for Inductive Logic Programming Based on a Near Miss Approach (poster) Damiano Azzolini, Fabrizio Riguzzi and Evelina Lamma 37. A Semantics for Hybrid Probabilistic Logic Programs with Function Symbols (poster) Fabrizio Ventola, Devendra Dhami and Kristian Kersting 38. Generative Clausal Networks: Relational Decision Trees as Probabilistic Circuits (poster) Tony Ribeiro, Maxime Folschette, Morgan Magnin and Katsumi Inoue 39. Polynomial Algorithm For Learning From Interpretation Transition (poster) Omar Iken, Maxime Folschette and Tony Ribeiro 40. Automatic Modeling of Dynamical Interactions Within Marine Ecosystems (poster) Claudia d’Amato, Nicola Flavio Quatraro and Nicola Fanizzi 41. Embedding Models for Knowledge Graphs Induced by Clusters of Relations and Background Knowledge (poster) Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti and Evelina Lamma 42. Probabilistic Inductive Constraint Logic (poster) Arnaud Nguembang Fadja, Fabrizio Riguzzi and Evelina Lamma 43. Learning hierarchical probabilistic logic programs (poster) Ludovico Mitchener, David Tuckey, Matthew Crosby and Alessandra Russo 44. Detect, Understand, Act: A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (poster) Alice Tarzariol, Martin Gebser, Konstantin Schekotihin 45. Lifting Symmetry Breaking Constraints with Inductive Logic Programming (poster) Wen-Chi Yang, Jean-Francois Raskin and Luc De Raedt 46. Lifted Model Checking for Relational MDPs (poster) Jiaoyan Chen, Pan Hu, Ernesto Jimenez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah and Ian Horrocks 47. OWL2Vec: Embedding of OWL Ontologies (poster) Daniele Meli, Mohan Sridharan, Paolo Fiorini* 48. Inductive learning of answer set programs for autonomous surgical task planning - application to a training task for surgeons (poster) Victor Guimarães and Vítor Costa 49. Online Learning of Logic-Based Neural Network Structures (poster) Cristina Cornelio and Veronika Thost 50. Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning (poster) Can Erten and Dimitar Kazakov 51. Ontology Graph Embeddings and ILP for Financial Forecasting (poster)
Gather Link

Theodoros Kasioumis, Joe Townsend and Hiroya Inakoshi
28. Elite BackProp: Training Sparse Interpretable Neurons (poster)

Pedro Zuidberg Dos Martires
29. Neural Semirings (poster)

Anna Himmelhuber, Sonja Zillner, Stephan Grimm, Martin Ringsquandl, Mitchell Joblin and Thomas Runkler
30. A New Concept for Explaining Graph Neural Networks (poster)

Rohan Deshpande, Jerry Chen and Isabelle Lee
31. RecT: A Recursive Transformer Architecture for Generalizable Mathematical Reasoning (poster)

Nuri Cingillioglu and Alessandra Russo
32. pix2rule: End-to-end Neuro-symbolic Rule Learning (poster)

Edgar Altszyler, Pablo Brusco, Nikoletta Basiou, John Byrnes and Dimitra Vergyri
33. Zero-shot Multi-Domain Dialog State Tracking Using Prescriptive Rules (poster)

Samy Badreddine and Michael Spranger
34. Extending Real Logic with Aggregate Functions (poster)

Se-In Jang and Alexandre Thiery
35. Explainable Diabetic Retinopathy Classification Based on Neural-Symbolic Learning (poster)

Johannes Rabold, Michael Siebers, Ute Schmid
36. Generating Contrastive Explanations for Inductive Logic Programming Based on a Near Miss Approach (poster)

Damiano Azzolini, Fabrizio Riguzzi and Evelina Lamma
37. A Semantics for Hybrid Probabilistic Logic Programs with Function Symbols (poster)

Fabrizio Ventola, Devendra Dhami and Kristian Kersting
38. Generative Clausal Networks: Relational Decision Trees as Probabilistic Circuits (poster)

Tony Ribeiro, Maxime Folschette, Morgan Magnin and Katsumi Inoue
39. Polynomial Algorithm For Learning From Interpretation Transition (poster)

Omar Iken, Maxime Folschette and Tony Ribeiro
40. Automatic Modeling of Dynamical Interactions Within Marine Ecosystems (poster)

Claudia d’Amato, Nicola Flavio Quatraro and Nicola Fanizzi
41. Embedding Models for Knowledge Graphs Induced by Clusters of Relations and Background Knowledge (poster)

Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti and Evelina Lamma
42. Probabilistic Inductive Constraint Logic (poster)

Arnaud Nguembang Fadja, Fabrizio Riguzzi and Evelina Lamma
43. Learning hierarchical probabilistic logic programs (poster)

Ludovico Mitchener, David Tuckey, Matthew Crosby and Alessandra Russo
44. Detect, Understand, Act: A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (poster)

Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
45. Lifting Symmetry Breaking Constraints with Inductive Logic Programming (poster)

Wen-Chi Yang, Jean-Francois Raskin and Luc De Raedt
46. Lifted Model Checking for Relational MDPs (poster)

Jiaoyan Chen, Pan Hu, Ernesto Jimenez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah and Ian Horrocks
47. OWL2Vec*: Embedding of OWL Ontologies (poster)

Daniele Meli, Mohan Sridharan, Paolo Fiorini
48. Inductive learning of answer set programs for autonomous surgical task planning - application to a training task for surgeons (poster)

Victor Guimarães and Vítor Costa
49. Online Learning of Logic-Based Neural Network Structures (poster)

Cristina Cornelio and Veronika Thost
50. Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning (poster)

Can Erten and Dimitar Kazakov
51. Ontology Graph Embeddings and ILP for Financial Forecasting (poster)