Workshops and Tutorials

List of Workshops

5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024)
Nico Potyka, Franz Baader, Bart Bogaerts, Joerg Hoffmann, Thomas Lukasiewicz, Francesca Toni

The XLoKR workshop aims to bring together researchers interested in applying KR methods toexplainable AI. We encourage submissions of both novel ideas for discussion with the community and previously published ideas to increase their visibility.

1st International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024)
Ha Thanh Nguyen, Randy Goebel, Francesca Toni, Ken Satoh, Kostas Stathis

The aim of this workshop is to bring together researchers and practitioners working on the intersections of language models, knowledge representation, and reasoning, particularly, but not exclusively, in medical, law, and science domains. We encourage submissions that discuss novel techniques, approaches, and innovative ideas related to this topic.

1st Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (SYNERGY)
Francesco Fabiano , Marcello Balduccini

SYNERGY aims at fostering in-depth discussions on Knowledge Representation (KR) and neuro-symbolic architectures with the goal of advancing intelligent robotics to new levels of sophistication. Integrating robust KR-based methodologies into robot-centric architectures holds significant promise for enhancing the intelligence of robotic systems. However, the development of such architectures is complex, typically involving diverse components each with unique challenges. Effective coordination among these components is essential, demanding well-defined yet flexible architectures. SYNERGY offers a platform for experts across these domains to share their research and experiences, focusing on the challenges encountered and potential solutions. While the workshop centers on KR-based architectures, we also invite submissions related to ML and LLMs, provided they clearly demonstrate relevance and significance to KR and neuro-symbolic architectures within the context of intelligent robotics.

List of Tutorials

An introduction to approximation fixpoint theory
Jesse Heyninck, Hannes Strass

Large Language Models are Human-like Annotators
Manish Gupta, Mounika Marreddy, Subba Reddy Oota, Lucie Flek

Argumentation and Machine Learning
Antonio Rago, Kristijonas Cyras

Probing Machine Learning Models in Angluin's Style
Ana Ozaki

Fundamental Problems in Statistical Relational AI
Sagar Malhotra

Formal Aspects of Strategic Reasoning in Multi-Agent Systems
Munyque Mittelmann, Aniello Murano

Iterated Belief Change
Richard Booth, Jake Chandler

Co-Located Workshops

22nd International Workshop on Nonmonotonic Reasoning (NMR 2024)