Fast Algorithms for Lexicographic Inference
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. Main Track. Pages 3917-3925.
https://doi.org/10.24963/ijcai.2026/436
Keywords
- Knowledge Representation and Reasoning: Non-monotonic reasoning
Abstract
We present two new algorithms for the problem of lexicographic inference from conditional knowledge bases. These algorithms are based on SAT and MaxSAT encodings of the underlying problem of lexicographic comparisons of classical interpretations and require only a polynomial number of SAT solver calls. In our experimental evaluation we show that our new algorithms signficantly outperform the state of the art.
Jonas Klein, and Matthias Thimm. 2026. Fast Algorithms for Lexicographic Inference. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26. IJCAI, 3917–3925. https://doi.org/10.24963/ijcai.2026/436
Klein, J., & Thimm, M. (2026). Fast Algorithms for Lexicographic Inference. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26 (pp. 3917–3925). IJCAI. https://doi.org/10.24963/ijcai.2026/436
@inproceedings{ijcai2026p436,
title = {Fast Algorithms for Lexicographic Inference},
author = {Klein, Jonas and Thimm, Matthias},
booktitle = {Proceedings of the Thirty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-26}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Diego Calvanese},
pages = {3917--3925},
year = {2026},
month = {8},
note = {Main Track},
doi = {10.24963/ijcai.2026/436},
url = {https://doi.org/10.24963/ijcai.2026/436},
}
TY - CPAPER TI - Fast Algorithms for Lexicographic Inference AU - Klein, Jonas AU - Thimm, Matthias T2 - Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26 PB - International Joint Conferences on Artificial Intelligence Organization PY - 2026 SP - 3917 EP - 3925 DO - 10.24963/ijcai.2026/436 UR - https://doi.org/10.24963/ijcai.2026/436 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
