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

Compiling Defeasible Inference: A Dynamic Approach To System Z

  1. Luke Slater(University of Cape Town and CAIR, Cape Town, South Africa)
  2. Thomas Meyer(University of Cape Town and CAIR, Cape Town, South Africa)
  3. Jesse Heyninck(University of Cape Town and CAIR, Cape Town, South Africa, Open University, Heerlen, Netherlands)

Bibtex record

@inproceedings{KR2026-57,
    title     = {{Compiling Defeasible Inference: A Dynamic Approach To System Z}},
    author    = {Slater, Luke and Meyer, Thomas and Heyninck, Jesse},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {600--610},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/57},
    url       = {https://doi.org/10.24963/kr.2026/57},
  }
Go back