Workshops & Tutorials

Learn about the workshops and tutorials happening at KR 2026.

Workshops

Third International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2026)

Workshop on Statistics and Knowledge Integration for Logic and Learning (SKILL)

Workshop on Reasoning and Ethics in Large Language Models (ReLLM)

Organisers: Ha Thanh Nguyen, Francesca Toni, Kostas Stathis, Ken Satoh, Randy Goebel, Francesco Chiariello, Yves Lesperance, Matteo Magnini, Federico Sabbatini, Elena Umili, Nourhan Ehab, Mervat Abuelkheir
Date: July 18, 2026 - Full Day

Workshop on Modularity and Splitting Techniques for Knowledge Representation and Reasoning (MoST 2026)

Organisers: Christoph Beierle, Alexander Hahn, Gabriele Kern-Isberner, Lars-Phillip Spiegel
Date: July 18, 2026 - Afternoon

International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2026)

Organisers: Antonio Di Stasio, Raphael Berthon, Rustan Galimullin
Date: July 19, 2026 - Full Day

Joint Workshop on Explainable Logic-Based Knowledge Representation and Explanations with Constraints and Satisfiability (XLoKR-ExCoS 2026)

Organisers: Tias Guns, Matti Järvisalo, Francesco Leofante, Nico Potyka
Date: July 24, 2026 - Full Day

Workshop on Logical Approaches to Handling Inconsistent Data (LINDA 2026)

Organisers: Meghyn Bienvenu, Camille Bourgaux, Anni-Yasmin Turhan
Date: July 24, 2026 - Full Day

Workshop on Theory and Methods for Abstraction (THEMA 2026)

Organisers: Oliver Kutz, Zeynep Saribatur, Kai Sauerwald
Date: July 24, 2026 - Full Day

Workshop on Logical Methods for Neural Network Analysis (LOGICNN 2026)

Organisers: Marco Sälzer, François Schwarzentruber, Nicolas Troquard
Date: July 25, 2026 - Full Day

4th Workshop on Parameterized Complexity of Computational Reasoning (PCCR 2026)

Organisers: Sebastian Ordyniak, Fahad Panolan
Date: July 25, 2026 - Full Day

Tutorials

The Evolving Landscape of Answer Set Programming: From Fundamentals to Recent Advancements

Presenters: Mario Alviano, Giuseppe Mazzotta, Francesco Ricca
Date: July 18, 2026 - Morning

Definite Descriptions in KR Languages

Presenters: Alessandro Artale, Andrzej Indrzejczak, Oliver Kutz, Andrea Mazzullo, Przemysław Wałega
Date: July 18, 2026 - Morning

NeuroSymbolic AI for Making Sense of Streaming Data

Presenters: Alexander Artikis, Periklis Mantenoglou
Date: July 18, 2026 - Afternoon

Learning in Argumentation

Presenter: Anna Rapberger
Date: July 19, 2026 - Morning

LLMs for Reasoning and Reasoning for LLMs

Presenter: Nico Potyka
Date: July 19, 2026 - Morning

Arguing in Dynamic and Uncertain Situations: From Theoretical Insights to Application

Presenter: Jean-Guy Mailly
Date: July 19, 2026 - Afternoon

Geometric Ontology Embeddings

Presenter: Mena Leemhuis
Date: July 19, 2026 - Afternoon