Fast Algorithms for Lexicographic Inference

Jonas Klein; Matthias Thimm

IJCAI 20260 citations

Fast Algorithms for Lexicographic Inference

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.

Knowledge Representation and Reasoning: Non-monotonic reasoning

BibTeX

@inproceedings{ijcai2026_fastalgorithmsfo,
  title = {Fast Algorithms for Lexicographic Inference},
  author = {Jonas Klein and Matthias Thimm},
  booktitle = {IJCAI 2026},
  year = {2026}
}