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

AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications

  1. Matías Brizzio(IMDEA Software Institute, Universidad Politécnica de Madrid)
  2. Andoni Rodríguez(IMDEA Software Institute, Universidad Politécnica de Madrid)
  3. César Sánchez(IMDEA Software Institute)
  4. Renzo Degiovanni(Luxembourg Institute of Science and Technology)

Bibtex record

@inproceedings{KR2026-67,
    title     = {{AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications}},
    author    = {Brizzio, Matías and Rodríguez, Andoni and Sánchez, César and Degiovanni, Renzo},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {711--722},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/67},
    url       = {https://doi.org/10.24963/kr.2026/67},
  }
Go back