Published May 8, 2026 | Version v1
Conference paper Open

Fast Algorithms for Lexicographic Inference - Extended Version

Authors/Creators

  • 1. ROR icon FernUniversität in Hagen

Description

Extended version of the IJCAI 2026 paper “Fast Algorithms for Lexicographic Inference”, including proofs of all technical results, supplementary material, and the benchmarks used in the evaluation.

Files

AwAKB.zip

Files (89.1 MB)

Name Size
md5:6dd892ca0e418d316a0ed8f6c941b688
76.4 MB Preview Download
md5:8f1b40f0c2e278e0ade3b8053405619d
11.2 MB Preview Download
md5:c606787071c03add31380fa5dea40a4f
1.4 MB Preview Download

Additional details

Software

Repository URL
https://github.com/aig-hagen/Luthor