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

Knowledge Compilation for Quantification in Alternating Automata

  1. S. Akshay(Indian Institute of Technology Bombay)
  2. Alfredo Cantarella(CISPA Helmholtz Center for Information Security)
  3. Supratik Chakraborty(Indian Institute of Technology Bombay)
  4. Bernd Finkbeiner(CISPA Helmholtz Center for Information Security, Technical University of Munich)
  5. Niklas Metzger(CISPA Helmholtz Center for Information Security)

Bibtex record

@inproceedings{KR2026-2,
    title     = {{Knowledge Compilation for Quantification in Alternating Automata}},
    author    = {Akshay, S. and Cantarella, Alfredo and Chakraborty, Supratik and Finkbeiner, Bernd and Metzger, Niklas},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {14--24},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/2},
    url       = {https://doi.org/10.24963/kr.2026/2},
  }
Go back