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

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

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

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Complexity of Logics with Semiring Semantics

  1. Timon Barlag(Leibniz Universität Hannover)
  2. Nicolas Fröhlich(Leibniz Universität Hannover)
  3. Teemu Hankala(University of Helsinki)
  4. Miika Hannula(University of Tartu, University of Helsinki)
  5. Minna Hirvonen(Leibniz Universität Hannover)
  6. Vivian Holzapfel(Leibniz Universität Hannover)
  7. Juha Kontinen(University of Helsinki)
  8. Arne Meier(Leibniz Universität Hannover)
  9. Laura Strieker(Leibniz Universität Hannover)

Bibtex record

@inproceedings{KR2026-12,
    title     = {{Complexity of Logics with Semiring Semantics}},
    author    = {Barlag, Timon and Fröhlich, Nicolas and Hankala, Teemu and Hannula, Miika and Hirvonen, Minna and Holzapfel, Vivian and Kontinen, Juha and Meier, Arne and Strieker, Laura},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {123--133},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/12},
    url       = {https://doi.org/10.24963/kr.2026/12},
  }
Go back