Workshops and Tutorials

We are happy to announce that KR 2022 will be accompanied by some high-class workshops and tutorials.

List of Workshops

XLoKR 2022 - Third Workshop on Explainable Logic-Based Knowledge Representation

https://sites.google.com/view/xlokr2022

Invited Speakers

• Fabio Cozman University of Sao Paulo, Brazil
• Esra Erdem Sabanci University, Turkey

Organization Committee

• Franz Baader TU Dresden, Germany
• Bart Bogaerts Vrije Universiteit Brussel, Belgium
• Gerd Brewka University of Leipzig, Germany
• Jörg Hoffmann Saarland University, Germany
• Thomas Lukasiewicz University of Oxford, UK
• Nico Potyka Imperial College London, UK
• Francesca Toni Imperial College London, UK

PCCR 2022 - Third Workshop on Parameterized Complexity of Computational Reasoning

https://algorithms.leeds.ac.uk/pccr2022

Invited Speakers

• Gregory Gutin Royal Holloway University of London, UK
• Saket Saurabh University of Bergen, Norway
• Hadas Shachnai Technion, Israel
• Stefan Szeider TU Wien, Austria
• Meirav Zehavi Ben-Gurion University, Israel

Organization Committee

• Sebastian Ordyniak University of Leeds, UK
• M.S. Ramanujan University of Warwick, UK
• Ronald de Haan University of Amsterdam, Netherland

List of Tutorials

Assumption-Based Nonmonotonic Reasoning

https://sites.google.com/view/kr2022-abr/home

Organization Committee

• Alexander Bochmann Holon Institute of Technology, Israel

Belief Change, Ontology Repair and Evolution

https://www.ime.usp.br/~renata/KR22Tutorial.html

Organization Committee

• Renata Wassermann University of São Paulo, Brasil

DatalogMTL: Theory and Practice of Temporal Reasoning

https://datalogmtl.github.io

Organization Committee

• Bernardo Cuenca Grau University of Oxford, UK
• Przemysław Andrzej Wałęga University of Oxford, UK
• Dingmin Wang University of Oxford, UK
• Michael Zakharyaschev Birkbeck, University of London, UK
• Guohui Xiao Free University of Bozen-Bolzano, Italy
• Vladislav Ryzhikov Birkbeck, University of London, UK

Hybrid Temporal Situation Calculus Planning with Continuous Processes: Semantics

https://www.cs.ryerson.ca/~mes/HTSC-Tutorial-KR2022/

Organization Committee

• Mikhail Soutchanski Ryerson University, Canada

Referring Expressions in Artificial Intelligence and Knowledge Representation Systems

https://cs.uwaterloo.ca/~david/kr22/

Organization Committee

• David Toman University of Waterloo, Canada
• Grant Weddell University of Waterloo, Canada

Logic meets Learning + Explainable Machine Learning

http://vaishakbelle.com/pages/learnfloc2022

Organization Committee

• Vaishak Belle University of Edinburgh, UK