Common Foundations for Recursive Shape Languages

Shqiponja Ahmetaj; Iovka Boneva; Jan Hidders; Maxime Jakubowski; Jose-Emilio Labra-Gayo; Wim Martens; Fabio Mogavero; Filip Murlak; Cem Okulmus; Ognjen Savkovic; Mantas Šimkus; Dominik Tomaszuk

doi:10.24963/kr.2026/1

KR2026

Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Common Foundations for Recursive Shape Languages

Shqiponja Ahmetaj(TU Wien)
Iovka Boneva(University of Lille)
Jan Hidders(Birkbeck, University of London)
Maxime Jakubowski(TU Wien)
Jose-Emilio Labra-Gayo(University of Oviedo)
Wim Martens(University of Bayreuth)
Fabio Mogavero(Universita di Napoli Federico II)
Filip Murlak(University of Warsaw)
Cem Okulmus(Paderborn University)
Ognjen Savkovic(Free University of Bolzano)
Mantas Šimkus(TU Wien)
Dominik Tomaszuk(University of Bialystok)

Bibtex record

@inproceedings{KR2026-1,
    title     = {{Common Foundations for Recursive Shape Languages}},
    author    = {Ahmetaj, Shqiponja and Boneva, Iovka and Hidders, Jan and Jakubowski, Maxime and Labra-Gayo, Jose-Emilio and Martens, Wim and Mogavero, Fabio and Murlak, Filip and Okulmus, Cem and Savkovic, Ognjen and Šimkus, Mantas and Tomaszuk, Dominik},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {2--13},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/1},
    url       = {https://doi.org/10.24963/kr.2026/1},
  }

Go back