6 citations · 13 across the 11 of their papers we have counts for
3 papers · 1 filter
Implementing Rational Choice Functions with LLMs and Measuring their Alignment with User Preferences
Anna Karnysheva, Christian Drescher, Dietrich Klakow
As large language models (LLMs) become integral to intelligent user interfaces (IUIs), their role as decision-making agents raises critical concerns about alignment. Although exten…
Translation-based Constraint Answer Set Solving
Christian Drescher, Toby Walsh
We solve constraint satisfaction problems through translation to answer set programming (ASP). Our reformulations have the property that unit-propagation in the ASP solver achieves…
Heuristics in Conflict Resolution
Christian Drescher, Martin Gebser, Benjamin Kaufmann +1
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven le…