News
A Paper Accepted for IJCAI 2026
[05.07.2026]The paper “Fast Algorithms for Lexicographic Inference” by Jonas Klein and Matthias Thimm has been accepted for IJCAI 2026.
Abstract of the paper
Fast Algorithms for Lexicographic Inference
by Jonas Klein und Matthias Thimm
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 significantly outperform the state of the art.
