Workshops & Tutorials

Learn about the workshops and tutorials happening at KR 2026.

Workshops

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

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, Rustam 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