Workshops & Tutorials

Learn about the workshops and tutorials happening at KR 2026.

Workshops co-located with KR

Description Logics Workshop 2026 (DL 2026)

Organisers: Matthias Knorr, Ivan Varzinczak
Date: July 17-19, 2026
Website: https://dl-2026.github.io/

24th International Workshop on Nonmonotonic Reasoning (NMR 2026)

Organisers: Ana Ozaki, Nico Potyka
Date: July 17–19, 2026
Website: https://nmr.krportal.org/2026/

Workshops affiliated with KR

Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs 2026)

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
Website: https://skilled-llms.github.io/2026/

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
Website: https://most.cs.tu-dortmund.de/

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

Organisers: Antonio Di Stasio, Raphael Berthon, Rustam Galimullin
Date: July 19, 2026 - Full Day
Website: https://strategic-reasoning.github.io/lamassr26/

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
Website: https://sites.google.com/view/xlokrexcos2026/

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

Organisers: Meghyn Bienvenu, Camille Bourgaux, Anni-Yasmin Turhan
Date: July 24, 2026 - Full Day
Website: https://linda-workshop26.cs.uni-paderborn.de/

Workshop on Theory and Methods for Abstraction (THEMA 2026)

Organisers: Oliver Kutz, Zeynep Saribatur, Kai Sauerwald
Date: July 24, 2026 - Full Day
Website: https://abstraction.cognitive-logics.org/thema2026/

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
Website: https://perso.ens-lyon.fr/francois.schwarzentruber/research/events/logicnn2026/

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

Organisers: Sebastian Ordyniak, Fahad Panolan
Date: July 25, 2026 - Full Day
Website: https://algorithms.leeds.ac.uk/pccr2026/

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